I will give a talk at the WorkGroup 6’s meeting entitled “A Unified Framework for Initial Semantics, and it is 2-Functorial” about our work with Benedikt Ahrens and Ambroise Lafont to unify and relate different approaches to initial semantics.

I am happy to share a significantly improved second draft of “An Introduction to Different Approaches to Initial Semantics”, A Unified Framework for Initial Semantics with Benedikt Ahrens, that aims at getting closer different approaches to initial semantics.

I am happy to announce I am starting a PhD with in the Gallinette team at Inria & Nantes University, under the direction of Nicolas Tabareau, Yannick Forster, and Matthieu Sozeau. I will be working on Proof Assistants, most particularly on generating recursors for (nested) inductive types using MetaCoq, and towards formalising Coq’s guard condition.

I will give at talk at the workshop Homotopy Type Theory and Computing - Classical and Quantum entitled “Computing Cohomology Rings in Cubical Agda” about our associated CPP paper.

I will be starting my master 2 research internship in march 2024, under the supervision of Nicolas Tabareau. We will investigate the generation of induction principles for nested inductive types in Coq.

I am happy to share our new preprint An Introduction to Different Approaches to Initial Semantics with Benedikt Ahrens, that aims at getting closer different approaches to initial semantics.