Basic

Dr. Marc Chevalier

Degree: PhD, École Normale Supérieure

Paris, France

Skills

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

Wants

Interests

Browse over 18 million XING members