🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
09:46
(UTC +01:00) - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://orcid.org/0000-0002-4328-6753
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