Trustworthy Systems

Ben Nott
Student Intern

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.

Photo of Ben Nott

Projects

Current

Interaction Tree semantics for Pancake.