Trustworthy Systems

Kevin Tran
Research Assistant

Research Interests

Kevin is interested in formal verification, and in learning about operating systems.

Contact Details

Email:k.q.tran@student.unsw.edu.au

More contact information is available at the Contact page.