-
Academics
-
Admissions
Your journey to NYUAD starts here. Attend an application workshop or information session.Admissions Events -
Research
-
Campus Life
Live the possibilities. Be part of a dynamic community of students from over 115 countries.Take a Tour - Public Programs
- About
- News
- Events
- Social Media Directory
- Press Room
- Torch at NYUAD
- Faculty
- Current Students
- Alumni
- عربي
Mitchell Riley
Postdoctoral Associate
Affiliation: NYU Abu Dhabi
Education: BA University of Queensland; MA Western University; PhD Wesleyan University
Research Areas: Homotopy Theory; Type Theory; Modal Logic
Mitchell Riley is a mathematician and computer scientist studying Homotopy Type Theory and its various extensions. His thesis work focused on one such extension: adding linear type formers and combining linear and dependent types in a novel way. This allows type theoretic ideas to be brought to bear on stable homotopy theory, letting us deal with (for example) cohomology in a completely synthetic way.
At the Center for Quantum and Topological Systems, he hopes to apply these techniques to the semantics envisioned by Hisham Sati and Urs Schreiber for their TED-K project. The long-term goal is to find ways to systematically produce internal languages for higher categories, but this remains a work in progress with his collaborators.
He encourages any undergraduate with a bent on mathematics and programming to look into HoTT. The original (and free!) HoTT book is still a good place to start.