I
About
Regular biography
Ian Pratt-Hartmann is a Senior Lecturer in the Department of Computer Science at The University of Manchester. His research interests include logic, artificial intelligence, and cognitive science, with a focus on the intersections of logic and complexity theory, logic and geometry, and logic and natural language. He has published in several scientific journals and is a member of the editorial board of the Journal of Logic, Language and Information. He has supervised multiple PhD students in areas such as formal methods, spatial logic, and temporal logic.