🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
03:54
(UTC +01:00) - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://orcid.org/0000-0002-4328-6753
Lists (2)
Sort Name ascending (A-Z)
Stars
2
stars
written in HTML
Clear filter
A listing of compiler, language and runtime teams for people looking for jobs in this area
Site web des interENS ludiques 2021 - 2025, en ligne à l'adresse https://interludes.ens.fr