Skip to main content

David Landsberg

David Landsberg

Doctoral Student

Leaving date: 30th March 2017


Foundations of mathematics, logic, theory of computation, verification, automated theorem proving, and artificial intelligence.


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.