I am currently a master student in Computer Science at École Normale Supérieure. I am particularly interested in logic, programming language theory, and verification.