Registered user since Mon 29 Apr 2024
Name:Dorian Lesbre
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
Using general profile