Trustworthy Systems

Ben Nott
Research Assistant

Research Interests

Ben has deep research interests in formal methods and metamathemtics. Ben is working on Pancake language semantics and program verification.

Contact Details

More contact information is available at the Contact page.

Photo of Ben Nott

Publication List



Interaction Tree semantics for Pancake.


Trustworthy Systems Group Papers


Abstract PDF Johannes ├ůman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Gordon Sau, Ben Nott, Tiana Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus Myreen, Michael Norrish and Gernot Heiser
Pancake: verified systems programming made sweeter
Workshop on Programming Languages and Operating Systems (PLOS), Koblenz, DE, October, 2023