Zacharie Moughanim
Contact
zacharie [dot] moughanim [at] ens-rennes [dot] fr
zacharie [dot] moughanim [at] ens-rennes [dot] fr
I am a student at ENS Rennes, in the computer science department.
I want to become a teacher as well as a researcher in computer science. I have a particular interest in lambda-calculi and functional languages, category theory and proof assistants. I spend a lot of time proving useless things in Rocq, such as the LMCL2 compiler.
Moreover, I enjoy teaching. I often plan courses about various themes. So far I gave two courses during sessions of the Club de Mathématiques de Marseille, one was about the close relationship between integrals/derivatives of real functions on the one hand, and sums/differences of sequences on the other; the other was an introduction to computability and its link to nonconstructive mathematics.
During the academic year 2024/2024, I also followed cinema courses in Université de Rennes 2.