Thomas Liang
Honours Thesis Student
Research Interests
Thomas is a fourth-year student working on the verification of the seL4 microkernel. His honours thesis is part of the Time Protection project, one part of the proof that seL4 is free of microarchitectural timing channels.
Contact Details
| Email: | thomas.liang@unsw.edu.au |
|---|
More contact information is available at the Contact page.
