Who am I?
I currently am a teaching and research assistant at Université Paris Diderot. I am a member of IRIF, but you can currently find me in the Institutt for Informatikk in Bergen (Norway). My work focuses on categorical and homotopical algebra and its applications to logic and type theory.
I just 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.