Welcome to my page!I'm 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.
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 of 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
An abstract domain combinator for separately conjoining memory abstractions. In Static Analysis Symposium 2014 (SAS'14).
Construction of Abstract Domains for Heterogeneous Properties. In International Symposium On Leveraging Applications of Formal Methods 2013 (ISOLA'13)
Reduced Product Combination of Abstract Domains for Shapes. In Verification, Model Checking and Abstract Interpretation 2013 (VMCAI'13).
Composite Abstract Domains for Shape Analysis. Séminaire Gallium, INRIA Rocquencourt, 10/14/2014
Domaines abstraits composites pour l’analyse de structures dynamiques. MPRI, Internship memoire (in french)
LM257 - Séries & Intégrales (2eme semestre)
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