Steve Awodey Selected for British Royal Society Fellowship
By Stefanie Johndrow
麻豆村 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.
“Science, 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. “Now, 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’s Chair in Logic with appointments in Dietrich College of Humanities and Social Sciences’ Department of Philosophy and Mellon College of Science’s 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.
“I 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.
Steve Awodey