Léo Andrès
About
Activities
Publications
Software
Students
Talks
Teaching
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