My name is El Mehdi Cherradi and I am mostly interested in logic in the broad sense. My main current research interests lie more precisely in category theory, homotopy theory and type theory.
I am finishing a PhD at IRIF, which I started in September 2020 with Paul-André Melliès. The PhD defense should take place in May 2024. The official title for my thesis is “On elementary higher topoi and ∞-categorical semantic of homotopy type theory”.

• Interpreting type theory in a quasicategory: a Yoneda approach

• The internal language of locally cartesian closed (∞, 1)-categories

• The smothering model structure on Cat

• Finite colimits in an elementary higher topos (joint work with Nima Rasekh (MPIM))

• Segal derivators and exact squares (joint work with Paul-André Melliès (IRIF))