David Landsberg
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
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.
Info
|
Themes |
|
|
Supervisors |
|
