Home

Who am I?

expanded-id-picture

I am currently a postdoctoral researcher at Applachian State University in the Computer Science Department. Previously, I have been a researcher at Aarhus Universitet in Denmark and Universitetet i Bergen in Norway.

My research interests include categorical logic, homotopical algebra, topos theory and univalent foundations of mathematics.

I am currently working on categorical semantics of GADTs, with an eye towards parametricty.

I am also participating in the collaborative writting of the book Symmetry ( , ), whose goal is to tackle group theory and its byproducts in univalent type theory.

I defended my PhD thesis on December 7th, 2018, at Université Paris 7 (now Université Paris Cité). It was co-supervised by Paul-André Melliès (IRIF, Université Paris Cité) and Clemens Berger (Laboratoire J.A. Dieudonné, Univeristé de Nice). Find more information on my research page.


More information on my CV.