Keywords
Fields of Research (FoR)
Formal methods for software, Programming languagesBiography
Dao is a research associate working at CSE.
Dao has a special interest in programming languages, logic and software verification.
My Research Activities
Dao has been contributing to the CakeML project since 2024.