Thomas Liang
Student Intern
Research Interests
Thomas is learning about interactive theorem proving and working on automating verification of Pancake programs.
Contact Details
| Email: | thomas.liang@unsw.edu.au |
|---|
More contact information is available at the Contact page.
