Dr. Marc Chevalier

Basic

Abschluss: PhD, École Normale Supérieure

Paris, France

Skills

Static code analysis
Python
C++
Formal methods
Ocaml
Software verification
Rust (programming language)
Mathematics
Software Development
LaTeX
X86 assembly language
Haskell
Erlang
Scala
Bash (Unix shell)
JavaScript
PHP
HTML
LibreOffice
MS Office
Git
GitLab
GitHub
MatLab
Maple
Mathematica
Windows
Debian
Ubuntu
Embedded Systems
Formal Verification
Abstract Interpretation
Coq Theorem Prover

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

Static code analysis
software verification
formal methods
formal verification
abstract interpretation

Interests

Archery
Ski
Opera
Drama

Browse over 20 million XING members