About
Hi and welcome to my website! I’m currently studying Computer Science at École Normale Supérieure de Rennes. I enjoy most fields, but I prefer formal methods, in particular proof assistants, most notably applied to protocol verification. I strongly support federated technologies and gaming on Linux.
Resume
You can download my resume here : Resume
Projects
Here is a highlight of some projects I worked/am currently working on :
- Composition in the Squirrel Prover (supervised by Charlie Jacomme): Report Presentation
- Fast Verified computation for BIR (supervised by Karl Palmskog): Presentation
- A summer intership on the DRM PlayReady (supervised by Mohamed Sabt): Github
- Case study of the Spectre attack : Paper
Contact
You can contact me via :