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
Interaction Tree semantics for Pancake.
Publications
Trustworthy Systems Group Papers
2023
|
 |
Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish and Gernot Heiser Pancake: verified systems programming made sweeter Workshop on Programming Languages and Operating Systems (PLOS), Koblenz, DE, October, 2023 |