معرفی
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.
۰مقاله منتشرشده
