Trustworthy Systems

Hongtian Yu
Honours Thesis Student

Research Interests

Hongtian is interested in programming languages and formal methods.

Contact Details

Email:hongtian.yu@student.unsw.edu.au

More contact information is available at the Contact page.

Projects

Formalisation of Viper semantics in the HOL4 theorem prover