I'm a master's student in the computer science department of the École Normale Supérieure de Paris.
My research interests focus on verification and low-level systems: formal methods, type systems, operating systems, compilers, hardware, functionnal programming and more. Besides computer science, I also enjoy mathematics and physics.
My hobbies include external sport such as rock climbing, sailing, hiking and skiing. I enjoy reading, especially sci-fi and detective stories. I also enjoy board games and video games