Léo Andrès

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 Sorbonne Université), SMT solver selection for symbolic execution using machine learning
• 2025: Saïd Zuhair (from Sorbonne Université), test-case generation for advanced coverage criteria by symbolic execution
• 2023: Eric Patrizio (from Sorbonne Université), fuzzing of WebAssembly interpreters

M1

• 2025: Julie Brunet (from Université Paris Cité), exploration heuristics for path prioritization in symbolic execution

Apprenticeship

• 2021-2023: Dario Pinto (from 42), various things (OCaml programming, algorithms, networks, kernels)

Bachelor

• 2024: Zhicheng Hui (from Polytechnique), cross-language symbolic runtime annotation checking

Informally

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