I spent the summer in the Intelligent Systems Group at NASA Ames Research centre in California. While there I was working on formalising safety case analysis for Unmanned Aircraft Systems. The formal foundations of safety cases, are increasingly being required in many safety-critical domains to provide high assurance that a system is acceptably safe.

I developed and taught a course based on Cryptography for 16-18 year olds with the aim to get them inspired by maths.

PostDoc on the "Trusted digital infrastructure for identity systems" project @ The Alan Turing Institute funded by the Bill & Melinda Gates Foundation.  Working on ensuring ID systems in developing nations are safe and secure, allowing for an increased quality of life for citizens.

👨‍💻 David Butler

Co-founder @ Quine