Steve Awodey Selected for British Royal Society Fellowship
Heidi Opdyke
- Associate Dean of Marketing and Communications, MCS
- Email opdyke@andrew.cmu.edu
- Phone 412-268-9982
Abby Simmons
- Dietrich College of Humanities and Social Sciences
- Email abbysimmons@cmu.edu
- Phone 412-268-6094
天美传媒 faculty member Steve Awodey has been selected for the . The fellowship provides researchers with a 12-month period of sabbatical at a UK-based university or research institution to foster international collaboration and enrich scientific research. Awodey will be at the University of Cambridge for 6 months in 2026 and again in 2027.
鈥淪cience, and society at large, thrive on the exchange of new ideas and ways of thinking,鈥� said Dame Julie Maxton, executive director of the Royal Society. 鈥淣ow, more than ever, it is important we continue to face outwards. By supporting these innovative research leaders, we can bring new approaches to scientific questions and global challenges facing our health and environment, for the benefit of all.鈥�
Awodey holds the Dean鈥檚 Chair in Logic with appointments in Dietrich College of Humanities and Social Sciences鈥� Department of Philosophy and Mellon College of Science鈥檚 Department of Mathematical Sciences. His area of research, homotopy type theory (HoTT), is an emerging field combining logic, mathematics and computer science. It employs a fundamentally new approach based on primitive higher-dimensional structures and includes new principles of reasoning not directly available in conventional foundations. In practice, HoTT provides powerful and flexible computational tools that facilitate the large-scale formalization of mathematics.
鈥淚 am honored and excited to spend a year at Cambridge, where I will have time to develop some new ideas and be able to work with some of the top researchers in the world,鈥� Awodey said.
During his fellowship at the University of Cambridge, Awodey will collaborate with Professor Marcelo Fiore in the Department of Computer Science and Technology, focusing on applications of higher category theory to the formalization of mathematics.
