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
| Email: | b.nott@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |
Interaction Tree semantics for Pancake.
Publications
Trustworthy Systems Group Papers
2023
|
 |
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 |