Mike Paterson

from Wikipedia, the free encyclopedia

Michael Stewart "Mike" Paterson (* 1942 ) is a British computer scientist.

Paterson studied at Cambridge University , where he received his doctorate in 1967 under David Park ( Equivalence problems in a model of computation ). As a post-doctoral student he was at the Massachusetts Institute of Technology and from 1971 he was at the University of Warwick , where he was Professor of Computer Science and until 2007 headed the Center for Discrete Mathematics and its Applications.

He is particularly concerned with the design and analysis of algorithms and complexity theory .

Leslie Valiant is one of his PhD students . In 2001 he became President of the European Association for Theoretical Computer Science (EATCS). In 2006 he received the EATCS Award . In 2001 he received the Dijkstra Prize for work on distributed computing with Michael J. Fischer and Nancy Lynch . Since 1991 he has been a member of the Academia Europaea . In 2001 he became a Fellow of the Royal Society .

In 2011 he was one of the recipients of the David P. Robbins Prize for a paper that addressed the problem of the number of stacked building blocks with overhangs.

He is co-author of a book on automatic groups with William Thurston and others.

He is an avid mountaineer.

Fonts

  • as editor: Boolean Function Complexity, London Mathematical Society Lecture Note Series, Cambridge University Press 1992 (Symposium Durham 1990)
  • as editor: Automata, languages ​​and programming (17th International Colloquium, Warwick University, England, July 1990), Springer Verlag, Lecture Notes in Computer Science 443, 1990
  • as editor: Algorithms - ESA 2000, Springer Verlag, Lecture Notes in Computer Science 1879, 2000 (Annual European Symposium on Algorithms 8, Saarbrücken 2000)
  • Editor with Bo Chen, Guochuan Zhang: Combinatorics, algorithms, probabilistic and experimental methodologies: first international symposium, ESCAPE 2007, Hangzhou, China, April 2007, Springer Verlag 2007
  • with David B. Epstein , James W. Cannon , Derek F. Holt, Silvio Levy, William Thurston Word processing in groups , Jones and Bartlett, Boston 1992

Web links

Individual evidence

  1. ^ Membership directory: Michael Paterson. Academia Europaea, accessed January 5, 2018 .
  2. ↑ Paterson, Yuval Peres, Mikkel Thorup, Peter Winkler, Uri Zwick Overhang , American Mathematical Monthly, January 2009
personal data
SURNAME Paterson, Mike
ALTERNATIVE NAMES Paterson, Michael S. (real name)
BRIEF DESCRIPTION British computer scientist
DATE OF BIRTH 1942