About
Dr. Ian Pratt-Hartmann is a Senior Lecturer at the School of Computer Science, specializing in Formal Methods. He received his PhD in Philosophy from Princeton University (1987) and previously studied Mathematics and Philosophy at Brasenose College, Oxford. His research spans logic, artificial intelligence, and cognitive science, focusing on intersections between logic and complexity theory, logic and geometry, and logic and natural language. He has supervised 11 PhD students, including Dominik Schoop, Nick Player, and Yegor Guskov, with topics ranging from mereotopology to temporal logics.
0Publications listed
Find Ian Pratt-Hartmann elsewhere
Related Searches
You Might Also Like
- PPrzemysław WałęgaVienna University of Technology · Senior Lecturer
Matteo PascucciCentral European University · Research Fellow
Nick SmithUniversity of Sydney · Professor- DDominik WojtczakUniversity of Liverpool · Professor
Ian PhillipsJohns Hopkins University · Professor- LLorenz DemeyKU Leuven · Research Professor