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