Trustworthy Systems

Vincent Jackson
PhD Student; UNSW

Research Interests

Vincent is interested in program verification, higher-order logic, and type theory. He is now a PhD student at the University of Melbourne

Contact Details

More contact information is available at the Contact page.

Photo of Vincent Jackson

Publication List


Trustworthy Systems Group Papers


Abstract PDF Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson and Christine Rizkallah
Dargent: A silver bullet for verified data layout refinement
Proc. ACM Program. Lang., Volume 7, Number POPL, January, 2023


Abstract PDF Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell and Gabriele Keller
Cogent: Uniqueness types and certifying compilation
Journal of Functional Programming, Volume 31, 2021