Trustworthy Systems

Hongtian Yu
Honours Thesis Student
(pronouns: he/him)

Research Interests

Hongtian is interested in programming languages and formal methods.

Contact Details

Email:hongtian.yu@student.unsw.edu.au
GitHub:abu-co

More contact information is available at the Contact page.

Projects

Formalisation of Viper semantics in the HOL4 theorem prover