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.