Dorian Lesbre

Dorian Lesbre
Master's Student in Computer Science

About me

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

Funny links