Students

Ph.D.

• 2026-...: Saïd Zuhair (from Sorbonne Université), interactions between abstract interpretation and symbolic execution for cross-language analysis

M2

• 2025: Félix Loyau-Kahn (from Université Paris Cité), SMT solver selection for symbolic execution using machine learning. Now a PhD student at Lund University.
• 2025: Saïd Zuhair (from Sorbonne Université), test-case generation for advanced coverage criteria by symbolic execution. Now my PhD student.
• 2023: Eric Patrizio (from Sorbonne Université), fuzzing of WebAssembly interpreters. Now a PhD student at INSA Lyon.

M1

• 2026: Amenah Mushtaq (from Université Paris Cité), automatic generation of well-typed SMT queries for differential and property-based testing of SMT solvers. Now a M2 student.
• 2025: Julie Brunet (from Université Paris Cité), exploration heuristics for path prioritization in symbolic execution. Now an intern at CEA.

Apprenticeship

• 2021-2023: Dario Pinto (from 42), various things (OCaml programming, algorithms, networks, kernels). Now at OCamlPro as a Software and Systems Engineer.

Bachelor

• 2024: Zhicheng Hui (from Polytechnique), cross-language symbolic runtime annotation checking. Now a PhD student at the University of Edinburgh.

Informally

• 2022: Olivier Pierre, advanced OCaml programming
• 2016: Céline Le Pécheur, basics of web programming and Linux