Geburt | 13. September 1942 |
---|---|
Staatsangehörigkeit | britisch |
Bereiche | theoretische Informatik |
Institutionen | Universität von Warwick |
Ausbildung | Universität von Cambridge |
Supervisor | David Park |
Doktoranden | Leslie Valiant und sechs andere |
Bekannt für | Paterson Würmer , Sprossen |
Auszeichnungen |
Dijkstra-Preis (2001) EATCS-Preis (2006) |
Ergänzungen
Präsident der EATCS (1977-1979)
Michael Stewart "Mike" Paterson , geboren 1942, ist ein britischer Computertheoretiker, der sich auf das Design und die Analyse von Algorithmen sowie auf die Komplexitätstheorie spezialisiert hat . Er ist auch als Erfinder von Spielen wie Patersons Versen oder Sprossen bekannt .
Paterson studierte an der Universität Cambridge , wo er 1967 unter der Aufsicht von David Park eine Dissertation mit dem Titel "Äquivalenzprobleme in einem Rechenmodell" verteidigte . Er war damals ein Postdoc - Forscher an dem Massachusetts Institute of Technology . Ab 1971 war er Professor für Informatik an der University of Warwick . Dort leitete er bis 2007 das Zentrum für Diskrete Mathematik und ihre Anwendungen und war 2005 Direktor der Abteilung Informatik. Von 1977 bis 1999 war er Präsident der Europäischen Vereinigung für Theoretische Informatik (EATCS).
Paterson arbeitet auf dem Gebiet der theoretischen Informatik , insbesondere beim Entwurf und der Analyse von Algorithmen sowie in der Komplexitätstheorie . Er hat dazu beigetragen, in den Bereichen Sprachtheorie , verteilte Algorithmusik und Automatentheorie zu arbeiten . Unter seinen Schülern ist Leslie Valiant . Er ist Mitautor eines Buches über automatische Gruppen . Er entwarf auch Mathe-Spiele mit John Horton Conway .
Neben seiner wissenschaftlichen Arbeit hat er sich insbesondere für die Entwicklung der Informatik als wissenschaftliche Disziplin eingesetzt, insbesondere als Herausgeber oder Mitherausgeber von Konferenzberichten, darunter: