Trustworthy Systems

Joong Do Chiang
Student Intern

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.

Photo of Joong Do Chiang

Projects

Current