People / Mitchell Riley

Postdoctoral Researcher

About

Mitchell is a type theorist with a PhD from Wesleyan University, with a particular interest in devising novel type theories to match unusual categorical situations; especially when this leads to new modes of reasoning or computation. At Topos he hopes to put this into practice, poking at the theory underlying their collaborative modelling and database projects.