🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
14:59
(UTC +02:00) - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://orcid.org/0000-0002-4328-6753
CEA-List
CEA-LIST
Smart digital systems for Artificial intelligence, Factory of the Future and Digital Trust
CEA Paris-Saclay - Nano-Innov
Alexandre DOYEN
alexandredoyen29
Ph.D. student at Binsec. My work is focused on network protocols fuzzing to find backdoors.
Charles de Haro
Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages
École Normale Supérieure Paris, France
Jules Soria
Jooles2001
PhD Student at the French Alternative Energies and Atomic Energy Commission, with focus on Interpretable, Explainable, and Formal Machine Learning
CEA-List
Vincenzo
VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma
University of Parma Parma