Who am I?
I am Assistant Professor (tenure-track) in the department of Computer Science at Applachian State University (Boone, NC). Previously, I have been a postdoctoral researcher at ASU, at Aarhus Universitet in Denmark, and at Universitetet i Bergen in Norway.
My research interests revolve around theoretical computer science and foundations of mathematics. A non-exhaustive list of my preferred research topics: categorical logic, homotopical algebra, topos theory, univalent mathematics, dependent type theory, data types, proof assistants, verified mathematics.
I am one of the authors of the book Symmetry ( , ), whose goal is to tackle group theory and its byproducts in univalent mathematics.
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.