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:/ |
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.