Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Research Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Datasets
Student theses
Search by expertise, name or affiliation
Ian Pratt-Hartmann
Dr
Senior Lecturer
,
Formal Methods
https://orcid.org/0000-0003-0062-043X
Overview
Fingerprint
Network
Research output
(71)
Similar Profiles
(6)
Supervised Work
(8)
If you made any changes in Pure these will be visible here soon.
6 Similar Profiles
Similarity is based on overlapping concepts in the fingerprints, and shared work and organisational affiliations of Ian Pratt-Hartmann with the persons below:
Sort by
Relevance
Last Name
Viktor Schlegel
Natural Language Processing and Text Mining
-
Honorary Lecturer
Person:
Academic
1 shared
Renate Schmidt
Formal Methods
-
Reader
Person:
Academic
Maryam Ghaffari Saadat
Formal Methods
-
Research Associate
Person:
Academic
Andrea Schalk
Formal Methods
-
Lecturer
Person:
Academic
Giles Reger
Formal Methods
-
Lecturer in Computer Science
Person:
Academic
Ahmed Bhayat
Formal Methods
-
Research Associate
Person:
Academic
