SPLASH 2024 (series) / Dorian Lesbre
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:Université Paris-Saclay - CEA LIST
Personal website: https://www.normalesup.org/~dlesbre/
GitHub: https://github.com/dlesbre
Research interests:Program Verification, Abstract Interpretation, Compilers, Type Systems
Contributions
SPLASH 2024-profile
View general profile
View general profile