For those of a similar name, see Mike Patterson (disambiguation) and Michael Paterson (disambiguation).
Mike Paterson
Born
1942 (age 81–82)
Nationality
British
Education
Ph.D., University of Cambridge (1967)
Known for
Algorithms, complexity
Awards
Dijkstra Prize (2001) EATCS Award (2006)
Scientific career
Fields
Computer science
Institutions
Massachusetts Institute of Technology University of Warwick
Thesis
Equivalence Problems in a Model of Computation(1967)
Doctoral advisor
David Park
Doctoral students
Leslie Valiant
Michael Stewart Paterson, is a British computer scientist, who was the director of the Centre for Discrete Mathematics and its Applications (DIMAP) at the University of Warwick until 2007, and chair of the department of computer science in 2005.
He received his Doctor of Philosophy (Ph.D.) from the University of Cambridge in 1967, under the supervision of David Park.[1] He spent three years at the Massachusetts Institute of Technology (MIT) and moved to the University of Warwick in 1971, where he remains Professor Emeritus.[2]
Paterson is an expert on theoretical computer science with more than 100 publications, especially in the design and analysis of algorithms and computational complexity. Paterson's distinguished career was recognised with the EATCS Award in 2006, and a workshop in honour of his 66th birthday in 2008, including contributions of several Turing Award and Gödel Prize laureates. A further workshop was held in 2017 in honour of his 75th birthday, co-located with the workshop for the 10th anniversary of the DIMAP centre. For his work on distributed computing with Fischer and Lynch, he received the Dijkstra Prize in 2001, and his work with Dyer and Goldberg on counting graph homomorphisms received the best paper award at the ICALP conference in 2006. Mike Paterson received a Lester R. Ford Award in 2010.[3] He is a Fellow of the Royal Society since 2001 and been president of the European Association for Theoretical Computer Science (EATCS). According to EATCS president Maurice Nivat, Paterson played a great role in the late 1960s in the recognition of computer science as a science, "and that theoretical computer science, which is very close to mathematics but distinct in its motivation and inspiration, is indeed a challenging and fruitful field of research."[4]
Paterson is also an enthusiastic mountaineer.
^SIGACT genealogy datase
^Mike Paterson at the Mathematics Genealogy Project
^Paterson, Mike; Zwick, Uri (2009). "Overhang". American Mathematical Monthly. 116 (1): 19–44. doi:10.4169/193009709x469797.
^Maurice Nivat, About the birth of Theoretical Computer Science, abstract of talk held at Paterson's 66th birthday. [1]
The Colt Paterson revolver was the first commercial repeating firearm employing a revolving cylinder with multiple chambers aligned with a single, stationary...
1970s–2010s), director of the Oklahoma Department of Transportation MikePaterson (born 1942), computer scientist Michael Patterson (disambiguation) This...
David Alexander Paterson (born May 20, 1954) is an American politician and attorney who served as the 55th governor of New York, succeeding Eliot Spitzer...
in 1971, under the supervision of Seymour Papert, Marvin Minsky, and MikePaterson. He began his employment at MIT that year, and retired from the faculty...
bisimulation in concurrent computing MikePaterson – algorithms, analysis of algorithms (complexity) Tim Paterson – authored 86-DOS (QDOS) Markus Persson...
Martin Andrew Paterson (born 10 May 1987) is a former professional footballer who was most recently the head coach of EFL League One club Burton Albion...
to honor #TomSeaver. More info to come at a later date. #Mets Puma, Mike; Paterson, Blake; Perez, Chris (March 21, 2019). "Mets' Tom Seaver honors begin...
look and original music. Lead singer and songwriter MikePaterson began playing with drummer Glenn Mikes in the 1980s hair band Little Venus, opening for...
Ladner, Tom Leighton, Laci Lovasz, Gary Miller, MikePaterson and Umesh Vazirani (chair) 2007 MikePaterson (Chair), Tom Leighton, Gary Miller, Anne Condon...
case. This was shown in 1985 by Michael J. Fischer, Nancy Lynch, and MikePaterson, and is sometimes called the FLP result. Since consensus and atomic...
on the concept of factories, introduced in 1976 by Arnold Schönhage, MikePaterson, and Nick Pippenger. These are methods that build partial orders of...
The Gabriel Set-Up 2004 978-1-84023-658-3 "Blaise of Glory" Pt 1 by MikePaterson and "Girl Walking" by Peter O'Donnell 0T2 Mister Sun 978-1-84023-721-4...
grandmother Mavis Paterson starts 960-mile cycle challenge". BBC News. 30 May 2019. Merritt, Mike (23 June 2019). "Scottish granny Mavis Paterson pedals to world...
Mehlhorn, MikePaterson 2016 Boris V. Cherkassky, Andrew V. Goldberg: Negative-cycle detection algorithms. In ESA 1996 Kurt Mehlhorn, MikePaterson, Jan van...
David B. A. Epstein, James W. Cannon, Derek F. Holt, Silvio V. F. Levy, MikePaterson, and William Thurston. Widely circulated in preprint form, it formed...
Families of Deterministic Pushdown Automata (1974) Doctoral advisor MikePaterson Doctoral students Mark Jerrum Michael Kearns Dan Roth Website people...