fbpx
Wikipedia

Mike Paterson

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.

Mike Paterson
Born1942 (age 81–82)
NationalityBritish
EducationPh.D., University of Cambridge (1967)
Known forAlgorithms, complexity
AwardsDijkstra Prize (2001)
EATCS Award (2006)
Scientific career
FieldsComputer science
InstitutionsMassachusetts Institute of Technology
University of Warwick
ThesisEquivalence Problems in a Model of Computation (1967)
Doctoral advisorDavid Park
Doctoral studentsLeslie Valiant

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.

Selected publications edit

  • M. Dyer, L.A. Goldberg and M. Paterson, On counting homomorphisms to directed acyclic graphs, Electronic Colloquium on Computational Complexity, Report TR05-121, Oct 2005.
  • L.A. Goldberg, M. Jalsenius, R. Martin and M. Paterson, Improved mixing bounds for the anti-ferromagnetic Potts Model on Z2, LMS J. Comput. Math. 9 (2006) 1–20.
  • L.A. Goldberg, R. Martin and M. Paterson, Strong spatial mixing for lattice graphs with fewer colours, SICOMP, 35(2) 486–517 (2005).
  • M. Albert and M. Paterson, Bounds for the growth rate of meander numbers, Proceedings of the 16th Annual International Conference on Formal Power Series and Algebraic Combinatorics, 2004, University of British Columbia (Vancouver B.C., Canada).
  • L.A. Goldberg, M. Jerrum, S. Kannan and M. Paterson, A bound on the capacity of backoff and acknowledgement-based protocols, SICOMP, 88 (2004) 313–331.
  • M. Adler, P. Berenbrink, T. Friedetzky, L.A. Goldberg, P. Goldberg and M. Paterson, A proportionate fair scheduling rule with good worst-case performance, Proc. of the 15th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA 2003), 101–108 (2003).
  • L.A. Goldberg, M. Jerrum and M. Paterson, The computational complexity of two-state spin systems, Random Structures and Algorithms, 23(2) 133–154 (2003).
  • K. Iwama, A. Matsuura and M. Paterson, A family of NFAs which need 2n-alpha deterministic states, Theoretical Computer Science 301(1–3), 451–462 (2003).
  • L.A. Goldberg, S. Kelk and M. Paterson, The complexity of choosing an H-colouring (nearly) uniformly at random, SICOMP, 33(2) 416–432 (2004) copyright SIAM.
  • M. Paterson, H. Schroeder, O. Sykora and I. Vrto, On permutation communications in all-optical rings, Parallel Processing Letters 12(1), 23–29 (2002).

See also edit

References edit

  1. ^ SIGACT genealogy datase
  2. ^ Mike Paterson at the Mathematics Genealogy Project
  3. ^ Paterson, Mike; Zwick, Uri (2009). "Overhang". American Mathematical Monthly. 116 (1): 19–44. doi:10.4169/193009709x469797.
  4. ^ Maurice Nivat, About the birth of Theoretical Computer Science, abstract of talk held at Paterson's 66th birthday. [1]

External links edit

  • Official website, University of Warwick
  • Workshop in Honour of Prof. Mike Paterson's 66th Birthday
  • Workshop in Honour of Mike Paterson's 75th Birthday
  • Mike Paterson at DBLP Bibliography Server  

mike, paterson, those, similar, name, mike, patterson, disambiguation, michael, paterson, disambiguation, michael, stewart, paterson, british, computer, scientist, director, centre, discrete, mathematics, applications, dimap, university, warwick, until, 2007, . For those of a similar name see Mike Patterson disambiguation and Michael Paterson disambiguation 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 Mike PatersonBorn1942 age 81 82 NationalityBritishEducationPh D University of Cambridge 1967 Known forAlgorithms complexityAwardsDijkstra Prize 2001 EATCS Award 2006 Scientific careerFieldsComputer scienceInstitutionsMassachusetts Institute of TechnologyUniversity of WarwickThesisEquivalence Problems in a Model of Computation 1967 Doctoral advisorDavid ParkDoctoral studentsLeslie Valiant 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 Godel 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 Contents 1 Selected publications 2 See also 3 References 4 External linksSelected publications editM Dyer L A Goldberg and M Paterson On counting homomorphisms to directed acyclic graphs Electronic Colloquium on Computational Complexity Report TR05 121 Oct 2005 L A Goldberg M Jalsenius R Martin and M Paterson Improved mixing bounds for the anti ferromagnetic Potts Model on Z2 LMS J Comput Math 9 2006 1 20 L A Goldberg R Martin and M Paterson Strong spatial mixing for lattice graphs with fewer colours SICOMP 35 2 486 517 2005 M Albert and M Paterson Bounds for the growth rate of meander numbers Proceedings of the 16th Annual International Conference on Formal Power Series and Algebraic Combinatorics 2004 University of British Columbia Vancouver B C Canada L A Goldberg M Jerrum S Kannan and M Paterson A bound on the capacity of backoff and acknowledgement based protocols SICOMP 88 2004 313 331 M Adler P Berenbrink T Friedetzky L A Goldberg P Goldberg and M Paterson A proportionate fair scheduling rule with good worst case performance Proc of the 15th Annual ACM Symposium on Parallel Algorithms and Architectures SPAA 2003 101 108 2003 L A Goldberg M Jerrum and M Paterson The computational complexity of two state spin systems Random Structures and Algorithms 23 2 133 154 2003 K Iwama A Matsuura and M Paterson A family of NFAs which need 2n alpha deterministic states Theoretical Computer Science 301 1 3 451 462 2003 L A Goldberg S Kelk and M Paterson The complexity of choosing an H colouring nearly uniformly at random SICOMP 33 2 416 432 2004 copyright SIAM M Paterson H Schroeder O Sykora and I Vrto On permutation communications in all optical rings Parallel Processing Letters 12 1 23 29 2002 See also editPaterson s worms Sprouts game References edit 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 External links editOfficial website University of Warwick Workshop in Honour of Prof Mike Paterson s 66th Birthday Workshop in Honour of Mike Paterson s 75th Birthday Mike Paterson at DBLP Bibliography Server nbsp Retrieved from https en wikipedia org w index php title Mike Paterson amp oldid 1172604534, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.