Trustworthy Systems

Thomas Qu
Student Intern

Research Interests

Thomas Qu is interested in type theory and software verification.

Contact Details

Email:thomas.qu@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of Thomas Qu

Projects

Current