![Lesly-Ann Daniel](https://popl25.sigplan.org/getProfileImage/leslyanndaniel/2ab361e3-c0b3-46d7-b5db-80c4e6ba970d/small.jpg?1711525296000)
Registered user since Mon 15 Feb 2021
Name:Lesly-Ann Daniel
Country:France
Affiliation:CEA List
Personal website: https://leslyann-daniel.fr/
Research interests:formal methods, binary analysis, symbolic execution
Contributions
Using general profile
Registered user since Mon 15 Feb 2021
Contributions