Joong Do Chiang
Honours Thesis Student
Research Interests
Joong Do (JD) is a thesis student working on designing and developing an ARINC 653-compliant userspace scheduler on seL4 MCS using the Microkit.
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 |