Hi! My name is Noé and I'm a PhD student in theoretical computer science. My advisors are Luc Pellissier, Samuel Mimram and Florent Madelaine.
I'm broadly interested in categorical semantics of programming languages. My current work is on semantics for patch systems (see A Categorical Theory of Patches to see the kind of stuff we're expanding on).
In a previous life, I worked at OCamlPro, mainly on the project Mlang, as a R&D engineer. Before then, I was a student at the University of Oxford, reading for Mathematics and Foundations of Computer Science. Even before, I did my undergrad at École polytechnique.
On my non-professional time, I sometimes spend time running (trails when environment allows, roads otherwise), playing music, or climbing.
email: firstname.lastname@u-pec.fr