Trustworthy Systems

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.

Photo of Thomas Liang

Projects

Past