Skip to main content

David Landsberg

David Landsberg

Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD


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.