Mr Dao Le
Postdoctoral Fellow
Engineering
Computer Science and Engineering
Dao is a research associate working at CSE.
Dao has a special interest in programming languages, logic and software verification.
- Publications
- Media
- Grants
- Awards
- Research Activities
- Engagement
- Teaching and Supervision
Dao has been contributing to the CakeML project since 2024.