David Landsberg
Interests
Foundations of mathematics, logic, theory of computation, verification, automated theorem proving, and artificial intelligence.
Biography
I am in the second year of my DPhil in computer science at Oxford University. I previously completed an MSc in computing science from Imperial College London, a PhD in philosophy from St Andrews University (which was on the logic and metaphysics of causation), and a BA in philosophy from King's College London.