Yaakov Widman

Mathematician & Homotopy Type Theorist

About

I am a mathematician working in homotopy type theory, exploring the deep connections between topology, type theory, and category theory. My work focuses on the foundations of mathematics and how different mathematical frameworks can provide new insights into logic and computation.

I earned my PhD in Mathematics from Wesleyan University, where I was trained as a topologist. My dissertation focused on compactness and convergent sequence properties of topological groups.

Research Interests

• Homotopy Type Theory
• Category Theory and ∞-Categories
• Type Theory and Dependent Types
• Agda and Cubical Agda
• Synthetic Homotopy Theory
• Formal Verification and Proof Assistants
• Foundations of Mathematics
• Homotopy Groups of Spheres

Background

In addition to my mathematical research, I have over 25 years of experience in software engineering, having built complex distributed systems and worked with cutting-edge technologies. This combination of pure mathematics and practical computation informs my approach to homotopy type theory, where proofs are computational objects and mathematics meets implementation.