I am currently a student at the École normale supérieure de Rennes (ENS Rennes) in the computer science and telecommunication department. I also follow the Research in Computer Science (SIF) master at University of Rennes 1.
Email : email@example.com
Phone : (+33) 6 81 66 29 81
From February to June 2018, I worked as an intern in the Celtique team, under the supervision of Sandrine Blazy. I studied a specific obfuscation method, called MBA obfuscation, and worked on the formal verification of the semantics preservation of this technique, using the Coq proof assistant.
In 2017, I worked as an intern in the Programming Languages Research Group of TU Delft, supervised by Eelco Visser. I worked on the development of a generator of random well-bound and well-typed programs.
You can download my resume here.