Skip to main content

Mitchell Buckley
Proof Engineer

Research Interests

Mitchell has a formal education in mathematics and a research background in category theory, Hopf algebra and formalised mathematics. He now writes proofs that verify functional correctness of the seL4 micro-kernel.

Contact Details

Email:Mitchell.Buckley@data61.csiro.au
Web:http://mitch.buck.ly

More contact information is available at the Contact page.

Photo of Mitchell Buckley

Projects

Current

verification of seL4 on the 64 bit RISC-V platform

Career Summary

Postdoctoral Fellow, Universite Libre de Bruxelles, 2015-2018.

PhD Candidate, Macquarie University, 2011-2015.

Graduate Fellow, Biotech Imaging, CSIRO, 2010-2011.

Qualifications

PhD in mathematics, Macquarie University, 2015.

BSc (honors first class), Macquarie University, 2008.

Publications

Served by Apache on Linux on seL4.