Trustworthy Systems

Kevin Tran
PhD Student

Research Interests

Kevin's research is on creating a framework for reasoning about concurrent programs, with the ultimate goal of verifying multicore seL4.

Contact Details

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

More contact information is available at the Contact page.

Photo of Kevin Tran

Projects

Current

Past