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 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.