Trustworthy Systems

Liam Murphy
Student Intern

Research Interests

Liam is working on formalising device controllers and verifying their drivers against that interface.

Contact Details

Email:liam.p.murphy@student.unsw.edu.au

More contact information is available at the Contact page.