Biography
Thomas is a software verification expert working at CSE.
Thomas has worked in the field of software verification since 2006, and has contributed to major verification projects, include the seL4 verified microkernel and the CakeML verified compiler. He completed his PhD at UNSW in 2017, working on the binary analysis of seL4. He worked at Chalmers University in Sweden 2018-2020 and at Cambridge University in the UK 2020-2024 before returning to...view more
Thomas is a software verification expert working at CSE.
Thomas has worked in the field of software verification since 2006, and has contributed to major verification projects, include the seL4 verified microkernel and the CakeML verified compiler. He completed his PhD at UNSW in 2017, working on the binary analysis of seL4. He worked at Chalmers University in Sweden 2018-2020 and at Cambridge University in the UK 2020-2024 before returning to UNSW.
My Awards
- 2022: ACM Software Systems award, together with the original seL4 team, for the seL4 verification project
- 2019: ACM SIGOPS Hall of Fame award, together with the seL4 team, for the paper ''seL4: Formal Verification of an OS Kernel''
- 2019: CORE John Makepeace Bennett Award for a Distinguished Doctoral Dissertation