Welcome to my page!I'm currently a PhD student (since october 2011), under the supervision of Xavier Rival in the Abstract interpretation and semantics group of Computer Science Department at the École Normale Supérieure. I obtained a master's degree in 2011 from the École Polytechnique.
- 2014.03.16 : paper "an abstract domain combinator for separately conjoining memory abstractions" submited to SAS14
- 2013.07.07 : the new website is online!
Static AnalysisI am interested in static analysis of softwares, that aims to prove the absence of certain kinds of errors during the execution. To do so, we need to define formal methods which provide rigorous mathematical guarantees that a program preserves some property over all its possible executions (e.g. for all its inputs, or for non-deterministic semantics).
Abstract InterpretationThe abstract interpretation is a theory for computing (over)approximations of semantics of programming language.
My main research interest: "shape analyses" are static analyses for programs manipulating dynamic data structures (e.g. arrays, string, pointers ...). Mainly, there are two frameworks for shape analysis:
The figure above shows a graphical representation of a separation logic formula, that occurs during the analysis of a C program with the MemCAD analyzer.
Combination of shape abstract domains
Reduced Product Combination of Abstract Domains for Shapes. In Verification, Model Checking and Abstract Interpretation 2013 (VMCAI'13).
Domaines abstraits composites pour l’analyse de structures dynamiques. MPRI, Internship memoire (in french)
LM250 - Suite, séries, intégrales (1er semestre)Les devoirs et corrigés:
LM260 - Séries et intégrale (2ème semestre)Quelques documents concernant le cours:
- la feuille n°1
- la feuille n°2
- la feuille n°3
- la feuille n°4
- la feuille n°5
- la feuille n°6
- la feuille n°7
- la feuille n°8
- une feuille d'exercices supplémentaires sur l'intégration.
SportsI used to swim a lot when I was a student at Ecole Polytechnique. I try to use as much as possible my bike or Velib, instead of public transportation facilities in Paris.
There is a simple webpage I've made about velibs that shows available bikes and free stands in a map (did it because the one provided by velib official website is too small in my mind). It uses google map and JCDecaux APIs and it is here.
Euler projectA website where you can find a list of mathematical problems to be solved. A time-consuming activity...!
- summer 2013: Kyrgyzstan and China (Xinjiang)
- summer 2012: Eastern and southern europe (in particular Romania)
- summer 2011: Iceland
- summer 2010: US, Western states
- summer 2009: Siberia