Company
Dr. Marc Chevalier
Basic
Abschluss: PhD, École Normale Supérieure
Paris, France
Timeline
Professional experience for Marc Chevalier
2 years and 9 months, Sep 2017 - May 2020
Math Teacher
Centre Recherche Interdisciplinaire
Teacher of math in 1st year of FDV bachelor in CRI, Paris. 104h
2 years and 9 months, Sep 2017 - May 2020
Tutorial of Semantics Lecture
École Normale Supérieure
Exercise and practical sessions + 2 lectures. 75h
3 months, May 2015 - Jul 2015
R&D intern
TrustinSoft
Formal verification of libiconv. Extension of Frama-C for C++
9 months, Sep 2014 - May 2015
Oral Examiner
Aux Lazaristes
Oral Examiner in Mathematics in "Aux Lazaristes" CPGE, Lyon, FR CPGE are intensive preparatory classes to the entrance exam toFrench “Grande Écoles”
Educational background for Marc Chevalier
3 years and 3 months, Sep 2017 - Nov 2020
PhD in Computer Science
École Normale Supérieure
Static analysis of critical embedded software.
11 months, Sep 2015 - Jul 2016
MSc in Computer Science
Ecole Polytechnique Fédérale de Lausanne EPFL
Obtained with highest honors
11 months, Sep 2014 - Jul 2015
1st year of MSc in Computer Science
Ecole Normale Superieure de Lyon
Theoretical Computer Science.
11 months, Sep 2013 - Jul 2014
BSc. in Computer Science
Ecole Normale Superieure de Lyon
Theoretical Computer Science.
Languages
French
First language
English
Fluent
German
Intermediate
Chinese
Basic