conf.researchr.org / Dorian Lesbre
![Dorian Lesbre](https://conf.researchr.org/getProfileImage/dorianlesbre/036f1f50-b6b8-44c9-bfd7-2e498b6cfde8/small.jpg?1716824850000)
Registered user since Mon 29 Apr 2024
Name:Dorian Lesbre
Bio:
Graduate of École Normale Supérieure de Paris (ENS-PSL)
Ph.D. student at CEA List, Université Paris-Saclay.
Country:France
Affiliation:CEA List
Personal website: https://www.normalesup.org/~dlesbre/
GitHub: https://github.com/dlesbre
Research interests:Program Verification, Abstract Interpretation, Compilers, Type Systems
Contributions