Dr Ian Pratt-Hartmann

Senior Lecturer

Full contact details
View graph of relations

PhDs Supervised to Completion:

Current PhD Opportunities

Students interested in supervision in any of my active research areas should apply to the School of Computer Science in the normal way, mentioning my name as a possible supervisor on the application form. Informal enquiries may be sent directly to me by email.

Active areas:

  • Computational logic
  • Logic and geometry
  • Logic and natural language