CV

you can get my CV here.

Research work

(∞, ω)-categories in Spatial Type Theory

A Type Theory for Presheaves Over a Reedy Category

Two equivalent descriptions of opetopes: in terms of zoom complexes and of partial orders

A poset-like approach to positive opetopes

A Coq Formalization of the Bochner integral