Joong Do Chiang
Honours Thesis Student
Research Interests
Joong Do is working on developing and formally verifying a ring buffer library in Pancake. He is interested in low-level systems development and software verification, and their intersection.
Contact Details
| Email: | joong_do.chiang@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |