Lesly-Ann Daniel
About
Publications
Talks
Popularization
Teaching
Lesly-Ann Daniel
she/her
Assistant Professor @ EURECOM
Interests:
Formal methods & low-level security
Follow
Biot, France
EURECOM
Email
Google Scholar
dblp
ORCID
Github
Bluesky
Mastodon
Portfolio