Fødsel | 13. september 1942 |
---|---|
Nasjonalitet | Britisk |
Områder | teoretisk informatikk |
Institusjoner | University of Warwick |
Opplæring | Cambridge University |
Veileder | David park |
PhD studenter | Leslie Valiant og seks andre |
Kjent for | paterson ormer , spirer |
Utmerkelser |
Dijkstra-prisen (2001) EATCS-prisen (2006) |
Komplement
President for EATCS (1977-1979)
Michael Stewart "Mike" Paterson , født i 1942, er en britisk datamaskinteoretiker som spesialiserer seg i design og analyse av algoritmer og i kompleksitetsteori . Han er også kjent som oppfinneren av spill, som Patersons vers eller spirer .
Paterson studerte ved Cambridge University , hvor han i 1967 forsvarte en avhandling under veiledning av David Park med tittelen "Equivalence problems in a model of computation". Han var da en postdoktor ved den Massachusetts Institute of Technology . Fra 1971 var han professor i informatikk ved University of Warwick . Han ledet Center for Discrete Mathematics and its Applications der til 2007, og var direktør for informatikkavdelingen i 2005. Fra 1977 til 1999 var han president for European Association for Theoretical Computer Science (EATCS).
Paterson arbeider innen teoretisk informatikk , spesielt innen design og analyse av algoritmer så vel som i kompleksitetsteori . Han har bidratt i arbeidet med språkteori , distribuert algoritme og automatateori . Blant studentene hans er Leslie Valiant . Han er medforfatter av en bok om automatiske grupper . Han designet også matte spill med John Horton Conway .
Ved siden av vitenskapelig arbeid har han særlig arbeidet for utvikling av informatikk som en vitenskapelig disiplin, spesielt ved å være redaktør eller medredaktør av konferansesaker, blant annet: