Jules Timmerman

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 :

• firstname.lastname@ens-rennes.fr (and my PGP Key)
• GitHub