Who am I?


I am currently a postdoctoral researcher at Aarhus Universitet in Denmark. I work in the LogSem group at Institut for Datalogi on categorical semantics of generalized algebraic data types, and I am interested in n-ary relation parametricity in this framework. Previously, I was research fellow at Universitetet i Bergen in Norway.

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

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. It was co-supervised by Paul-André Melliès (IRIF, Université Paris Diderot) and Clemens Berger (Laboratoire J.A. Dieudonné, Univeristé de Nice). Find more information on my research page.

More information on my CV.