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. Indeed, I spend a lot of time proving useless things in Coq/Rocq, such as the LMCL2 compiler.
Moreover, I enjoy teaching. I often plan courses about various themes (from explaining malloc&free to rewriting system). I only gave one of these courses at the Club de Mathématiques de Marseille, which was about the close relationship between integrals/derivatives of real functions on the one hand, and sums/differences of sequences on the other.
Since the beginning of this year, I also follow cinema courses in Université de Rennes 2.