Thomas Sewell
Scholar

Thomas Sewell

Google Scholar ID: Vn0Acv0AAAAJ
Lecturer, University of New South Wales
software verificationtheorem provingprogramming language semantics
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,894
 
H-index
15
 
i10-index
17
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
1 items
Verifying Device Drivers with Pancake
2025
Cited
0
Resume (English only)
Academic Achievements
  • Publications: More information can be found on Google Scholar.
Research Experience
  • Work Experience: Lecturing about software verification, theorem provers, and programming languages at UNSW, and working with the Trustworthy Systems group to verify new systems software.
Background
  • Research Interests: Software verification, theorem provers, and programming languages. Brief Introduction: Recently (June 2024) joined UNSW as a lecturer.
Co-authors
10 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Gernot Heiser
Gernot Heiser
Professor of Computer Science, University of New South Wales
Toby Murray
Toby Murray
School of Computing and Information Systems, University of Melbourne
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8