Thomas Sewell

I have recently (June 2024) joined UNSW as a lecturer. I'll be lecturing about software verification, theorem provers and programming languages, and working with the Trustworthy Systems group to verify new systems software.

Publication info can be found on Google Scholar.