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

More contact information is available at the Contact page.

Photo of Joong Do Chiang