Vincent Jackson
Proof Engineer; Graduate Verification Engineer, UNSW
Research Interests
Vincent is interested in proof theory, type theory, and theorem proving.
Contact Details
Email: | Vincent.Jackson@data61.csiro.au |
---|
More contact information is available at the Contact page.
Projects
Current |