About

I am a Master’s student in Computer Science at the École Normale Supérieure de Lyon, following a research-oriented curriculum.

My main research interests are programming languages, type theory, and formal methods.

I am particularly interested in pursuing research in programming languages and formal methods, and in continuing toward a PhD.