![Lê Thành Dũng Nguyễn](https://popl24.sigplan.org/getProfileImage/lethanhdungnguyen/c2e3e5fc-acac-4663-828e-8d902f4232f1/small.jpg?1712275589000)
Registered user since Wed 13 Dec 2023
Name:Lê Thành Dũng Nguyễn
Country:France
Affiliation:École normale supérieure de Lyon
Personal website: https://nguyentito.eu
GitHub: https://github.com/nguyentito
Research interests:Automata theory
Contributions
POPL 2024-profile
View general profile
View general profile