🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
04:05
(UTC +02:00) - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://orcid.org/0000-0002-4328-6753
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
YOLO
YOLO
Loading
Pull Shark
x2
Pull Shark
x2
Loading
Starstruck
Starstruck
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading