The University of New South Wales

Vincent Jackson
PhD Student; UNSW

Research Interests

Vincent is interested in program verification, higher-order logic, and type theory.

Contact Details

Email:v.jackson@unsw.edu.au

More contact information is available at the Contact page.

Photo of Vincent Jackson

Projects

Current