Since 2022, I am a postdoc in the TypeFoundry project in Cambridge. Previously, I was a postdoc in the Cogent team in Sydney. Before, I was a PhD student the Inria team Gallinette at LS2N in Nantes, supervised by Nicolas Tabareau and Tom Hirschowitz.

My research interests mainly lie in Type Theory and Category Theory: see my research and teaching statement.

Latest