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.
Projects
Past |