Dr Thomas Sewell
Lecturer
Engineering
Computer Science and Engineering
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 and the . He completed his PhD at Õ¬Äи£Àû 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 Õ¬Äи£Àû.
Ìý
- Publications
- Media
- Grants
- Awards
- Research Activities
- Engagement
- Teaching and Supervision
- 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