José is a mathematician specialising in Category Theory, with a particular focus on Categorical Logic .
His main research interests lie in category theory, topos theory, logic, constructive mathematics, and the foundations of mathematics more broadly. More recently, he's been working with the Topos Institute to develop and use double-categorical tools for the modelling and understanding of specifications and behaviours of complex systems.
At Lucy Cavendish, he supervises undergraduates in pure mathematics and supports the Castle Street community as their Warden.
