Michael Stewart Paterson

Michael Stewart „Mike“ Paterson

Données clés Naissance |  13 septembre 1942[1] (82 ans)

|

Nationalité |  britannique

Données clés Domaines |  informatique théorique

|

Institutions |  université de Warwick
Formation |  université de Cambridge
Directeur de thèse |  David Park
Étudiants en thèse |  Leslie Valiant et six autres
Renommé pour |  vers de Paterson, sprouts
Distinctions |  Prix Dijkstra (2001)
Prix EATCS (2006)

Compléments

Président de l'EATCS (1977-1979)

modifier

Michael Stewart « Mike » Paterson, né en 1942, est un informaticien théoricien britannique, spécialiste en conception et analyse des algorithmes et en théorie de la complexité. Il est aussi réputé comme inventeur de jeux, comme les vers de Paterson ou les sprouts.

## Carrière

[modifier | modifier le code]

Paterson étudie à l'université de Cambridge, où il soutient en 1967 une thèse sous la direction de David Park intitulée « Equivalence problems in a model of computation »[2]. Il est ensuite chercheur postdoctoral au Massachusetts Institute of Technology. À partir de 1971, il est professeur d'informatique à l'université de Warwick. Il y dirige le Centre for Discrete Mathematics and its Applications jusqu'en 2007, et il est directeur du département d'informatique en 2005. De 1977 à 1999, il est président de l'European Association for Theoretical Computer Science (EATCS).

## Recherche

[modifier | modifier le code]

Paterson travaille dans le domaine de l'informatique théorique, notamment sur la conception et l'analyse des algorithmes ainsi que sur la théorie de la complexité. Il a contribué à des travaux en théorie des langages, en algorithmique distribuée et en théorie des automates. Parmi ses élèves, figure Leslie Valiant. Il est coauteur d'un livre sur les groupes automatiques[3]. Il a aussi conçu, avec John Horton Conway, des jeux mathématiques.

## Prix et distinctions

[modifier | modifier le code]

* 2001 : Prix Dijkstra avec Michael J. Fischer et Nancy Lynch pour ses travaux sur l’informatique distribuée.
* 2001 : Fellow de la Royal Society.
* 2006 : European Association for Theoretical Computer Science#Prix EATCS Prix EATCS
* 2011 : Prix Robbins de la Mathematical Association of America pour un travail sur le nombre maximum de briques superposées avec surplomb, le problème d'empilage de blocs[4],[5]

## Publications

[modifier | modifier le code]

À côté de travaux scientifiques, il a notamment œuvré pour le développement de l’informatique comme discipline scientifique, notamment en étant éditeur ou coéditeur d'actes de colloques, parmi lesquels :

* Boolean Function Complexity, London Mathematical Society Lecture Note Series, Cambridge University Press 1992 —(Symposium Durham 1990)
* Automata, languages and programming (17th International Colloquium, Warwick University, England, Juli 1990), Springer Verlag, coll. « Lecture Notes in Computer Science » (no 443), 1990
* Algorithms - ESA 2000, Springer Verlag, coll. « Lecture Notes in Computer Science » (no 1879), 2000 — 8th Annual European Symposium on Algorithms, Saarbrücken 2000
* (avec Bo Chen, Guochuan Zhang), Combinatorics, algorithms, probabilistic and experimental methodologies: first international symposium, ESCAPE 2007, Hangzhou, Chine, Springer Verlag, avril 2007

## Liens externes

[modifier | modifier le code]

* Notices d'autorité :
* VIAF
* ISNI
* BnF (données)
* IdRef
* LCCN
* GND
* Belgique
* Pays-Bas
* Israël
* NUKAT
* Catalogne
* Tchéquie
* WorldCat

* Page personnelle de Mike Paterson
* Ressources relatives à la recherche :
* Academia Europaea
* The Academic Family Tree
* ACM Digital Library
* Digital Bibliography & Library Project
* Google Scholar
* Mathematical Reviews
* Mathematics Genealogy Project
* Royal Society
* Scopus
* ZbMATH
* Workshop en l'honneur du 66e anniversaire de Mike Paterson

## Notes et références

[modifier | modifier le code]

1. ↑ Notice de la BnF
2. ↑ (en) « Mike Paterson », sur le site du Mathematics Genealogy Project
3. ↑ David B. A. Epstein, James W. Cannon, Derek F. Holt, Silvio Levy, Michael S. Paterson et William Thurston, Word Processing in Groups, Boston, Jones and Bartlett Publishers, 1992, xi+330 (ISBN 978-0-86720-244-1).
4. ↑ Mike Paterson et Uri Zwick, « Overhang », Amer. Math. Monthly, vol. 116, no 1, 2009, p. 19-44 (MR 2011b:68182)
5. ↑ Mike Paterson, Yuval Peres, Peter Winkler et Uri Zwick, « Maximum overhang », Amer. Math. Monthly, vol. 116, no 9, 2009, p. 763-787 (MR 2011b:68183)

v · m

Lauréats du prix EATCS

* Karp (2000)
* Böhm (2001)
* Nivat (2002)
* Rozenberg (2003)
* Salomaa (2004)
* Milner (2005)
* Paterson (2006)
* Scott (2007)
* Valiant (2008)
* Huet (2009)
* Mehlhorn (2010)
* Trakhtenbrot (2011)
* Vardi (2012)
* Dyer (2013)
* Plotkin (2014)
* Papadimitriou (2015)
* Kozen (2016)
* Tardos (2017)
* Nisan (2018)
* Henzinger (2019)
* Yannakakis (2020)
* Pitassi (2021)
* Cousot (2022)
* Fiat (2023)
* Abramsky (2024)

* Portail de l'informatique théorique

*[coll.]: collection
*[no]: numéro
*[8th]: Eighth
*[66e]: Soixante-sixième
*[(en)]: Langue : anglais
*[vol.]: volume
*[p.]: pages
*[v]: Voir ce modèle.
*[m]: Modifier ce modèle. Merci de prévisualiser avant de sauvegarder.