Working Experience

2017 – 2020 Mathematic Lectures LFDV, CRI, Paris, FR

Lectures on logic, set theory, functions and linear algebra in 1st year

of Frontiers of Life Sciences Bachelor at CRI. 104h

2017 – 2020 Tutorial of Semantics Lecture ENS, Paris, FR

Exercise and practical sessions + 2 lectures. 75h

2015 Research Internship TrustInSoft

Formal verification of libiconv. Extension of Frama-C for C++

2014 – 2015 Oral Examiner in Mathematics Aux Lazaristes CPGE, Lyon, FR

CPGE are intensive preparatory classes to the entrance exam to

French “Grande Écoles”

Education

2017 – 2020 PhD. Antique Team, ENS, Paris, FR

Proving the security of software-intensive embedded systems by

abstract interpretation.

2017 Pre-PhD. intership Roma Team, ENS de Lyon, Lyon, FR

Static analysis of programs with complex data-structures for im-

provement of scheduling strategies

2016 – 2017 Pre-PhD. intership Antique Team, ENS, Paris, FR

Verification by abstract interpretation of security properties of em-

bedded C software. Handling of inline assembly in Astrée static

analyser

2015 – 2016 Second year of M.Sc. in Computer Science EPFL, Lausanne, CH

M.Sc. in theoretical computer science obtained with highest honors

(17.5/20)

2014 – 2015 First year of MS. in Computer Science ENS de Lyon, Lyon, FR

First of my year group

2014 Research Internship Alco Team, LIX, Palaiseau FR

Characterization of the functions calculated by a Turing machine

with a bound on the number of transitions with a change of state

2013 – 2014 B.Sc. in Computer Science ENS de Lyon, Lyon, FR

B.Sc. in theoretical computer science obtained with honors

(15.84/20)

2011 – 2013 CPGE MPSI/MP* Sainte Geneviève, Versailles, FR

2 years intensive preparatory classes to the entrance exam French

prestigious ”Grandes Écoles”. Math/Physics major. Computer sci-

ence minor

Academic Life

Reviews

2020 Member of Artifact Evaluation Committee SAS

2020 Subreviewer VMCAI

2019 Subreviewer SAS

Publication

2020 Sharing Ghost Variables in a Collection of Abstract Domains

Marc Chevalier, Jérôme Feret

VMCAI 2020Student

2019 Jérôme Boillot, ENS de Lyon (L3)

Semantics of inline x86 assembly blocks in C code

Misc.

2018 – 2020 Departement Board Member ENS, Paris, FR

Representative of non-permanent staff (PhD students and postdocs)

in the computer science departement board2014 AERES Evaluation of ENS de Lyon ENS de Lyon, Lyon, FR

Contribution to the workgroup Education and Research as the only

representative of students during AERES (official French ranking

body of universities and research centers) evaluation

Dr. Marc ChevalierComputer Science Specialist

ENS, EPFL

Envelope 28, rue de Mandres,

F-94440 Villecresnes

Phone +33 6 84 95 10 33

GLOBE https://marc-chevalier.com

@ pro@marc-chevalier.com

Key rsa4096/420AD16B

About meI am a specialist in Computer Science

highly skilled in developping reliable crit-

ical software, with strong background

in math and extensive experience in big

software development.

Social Networks

LINKEDIN marc-chevalier

Github marc-chevalier

Xing Marc_Chevalier6

Gitlab gitlab.marc-chevalier.com

�

dblp: Chevalier:Marc

�

Scholar: LbfW-roAAAAJ

ProgrammingPython

OCaml

C++17

Rust LATEX MICROCHIP x86 Haskell

Erlang Scala TERMINAL Bash

Js-Square JS Php Php HTML5 HTML

Competitions

2014 – 2016 SWERC team contest Porto, PT

2012 International Physics Olympiads ENS, Paris, FR

Training camp for the experimental examination of IPhO2010 – 2014 Prologin contest FR

Projects & Software

2016 –

present

Involved in Astrée OCaml

State of the art static analyzer based on abstract interpretation with

industrial applications http://www.astreea.ens.fr/2019 –

present

Socrates Python

Advanced and generic testing tool motivated by Astrée

2019 –

present

OColor OCaml

Pretty printing library using Format’s semantic tags to generate

well-parenthisized ANSI escape sequences: https://github.com/marc-chevalier/ocolor

2014 –

present

TuringSim C++

Template-intensive high-performance framework for simulation of ab-

stract computation model: https://gitlab.marc-chevalier.com/marc/turingsim

2014 –

present

Projet Pensées Profondes (Deep Thought Project) Python/PHP/...

Build a natural language questions answering framework. Team of 7

people. Project website: https://projetpp.github.io/2011 –

present

Introduction to Computability

A 300+ pages book introducing to computability theory (in french).

https://marc-chevalier.com/Calculabilite.pdf

Extra-Curricular Activities

Archery Competition level – trainer

Ski Competition level

Drama 13 years of practice (in French and English)

Classic

languages

Greek, Latin, passionate for mythology

Misc. First aid certificate, driver licence

2020 Dr. Marc Chevalier

Dr. Marc ChevalierComputer Science Specialist

ENS, EPFL

Skills

SQUARE-ROOT-ALT Mathematics

COMPRESS Logic

COMPRESS Algebra

COMPRESS Probability

Laptop-Code Computer Science

COMPRESS Algorithmics

COMPRESS Semantics

Tools

Git-alt Git Coq Matlab Maple

Sage Mathematica Sympy

Windows Windows Debian Ubuntu

LibreOffice Microsoft Office

Languages

French ○ ○ ○ ○ ○

English ○ ○ ○ ○ ○

German ○ ○ ○ ○ ○

Chinese ○ ○ ○ ○ ○