Thomas Qu
Research Assistant
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.
Projects
Past |