This project explores how proof assistants, automated assessment, and generative AI can transform mathematics education in the Global South. By integrating complementary technologies, it aims to develop scalable, ...

Musab Younis, Associate Professor of Political Theory at the University of Oxford is a new fellow at the IAS. During this event, Younis brings his research on African and Caribbean anticolonial archives to a ...

In her fellowship event, Jill de Ron will examine the study of bipolar disorder from the perspective of network theory. She will discuss psychometric approaches to the study of its symptoms based on ternary models, ...