Contact
|
 |
About me
I am a third-year PhD student in Computer Science at ENS Cachan - Brittany Extension working in the Celtique team at IRISA / INRIA Rennes. My supervisors are Thomas Jensen and David Pichardie. My research interests include: formal semantics of programming languages, program transformations, static analysis, computer-aided verification, language-based security.
More specifically, I am working on the formal semantics of intermediate representations used in static analysis, and on the formal correctness proof of their generation algorithm. Ideally, the correctness proof of such transformations can lead to their semantic characterization, and help identifying the strong invariants they satisfy.
Recently, I visited the SSS lab of Jan Vitek at Purdue University, where I worked on the certified compilation of multi-threaded Java programs.