Dao Le
Masters Student
Research Interests
Dao has a special interest in programming languages, logic and software verification. He is currently working on the decompilation-into-logic framework for Pancake and coinductive proofs.
Contact Details
| Email: | tran_dao.le@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |