Trustworthy Systems

Ben Nott
Summer Student

Research Interests

Logic and automated theorem proving, metamathematics, programming language theory and formal methods.

Contact Details

Email:b.nott@student.unsw.edu.au

More contact information is available at the Contact page.

Projects

Interaction Tree semantics for Pancake.