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
ICFP 2024-profile
View general profile
View general profile