Who am I?
My last position ha been as a researcher at Universitetet i Bergen (Norway). My work focuses currently on exploring the consequences of univalence for ordinary mathematics in homotopy type theory. My research interests feature also categorical logic and homotopical algebra.
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.