==== About me ====

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 [[https://www.irif.fr/~mellies/|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"//.

==== Articles ====

\\

=== Preprint ===



  * **Interpreting type theory in a quasicategory: a Yoneda approach**

\\

=== In preparation ===



  * **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))//

\\

{{page>inc&noheader&nofooter}}