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 |
Publications
Trustworthy Systems Group Papers
2026
|
 |
Kevin Tran, Johannes Åman Pohjola, Rob Sison and Gerwin Klein A rely-guarantee-based simulation for cooperative semantics International Colloquium on Theoretical Aspects of Computing, pp. 87–105, 2026 |