Thomas Liang
Proof Engineer
Research Interests
Thomas' background is in automated formal methods. He is currently interested in data refinement, and briefly worked on abstract interpretation.
Contact Details
| Email: | thomas.liang@unsw.edu.au |
|---|---|
| Web: | https:/ |
More contact information is available at the Contact page.
Thomas is working on the verification of Time Protection for the seL4 microkernel. He is continuing his work during his Honours thesis, which proposes a method to refine the touched addresses set from the higher-level Executable Specification to the implementation Concrete Specification.
Projects
Current |
Career Summary
At Trustworthy Systems, Thomas was first a student intern funded by the Taste of Research scholarship, supervised by Johannes Åman Pohjola, on "automating reasoning about memory safety for the Pancake programming language." Then, he was an Honours thesis student, supervised by Rob Sison, on "refining seL4's accounting of touched addresses for time protection". He has interned at Jane Street Capital and Jump Trading.
Qualifications
Thomas graduated with a Bachelor's of Advanced Computer Science with First Class Honours in 2025.