Skip to main content

Vincent Jackson
Proof Engineer

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.

Photo of Vincent Jackson

Projects

Current

Served by Apache on Linux on seL4.