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: | https:/ |
More contact information is available at the Contact page.
Projects
Current |
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.