🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
16:45
(UTC +02:00) - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://orcid.org/0000-0002-4328-6753
Michael Schwarz
michael-schwarz
Postdoctoral Researcher @focs-lab at NUS /
PhD from @tum-cit-pl
NUS Singapore Singapore
Simmo Saan
sim642
Computer scientist: static program analysis, programming languages
University of Tartu Estonia
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
julsoria
I am a PhD Candidate at the CEA-LIST and Université Paris-Saclay. My main research focus is on Formal Interpretable and Explainable Artificial Intelligence.
CEA-List
Vincenzo
VincenzoArceri
Assistant Professor (no-tenure track) @ University of Parma
University of Parma Parma