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.
Projects
Past |