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.
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.
[3] He is a Fellow of the Royal Society since 2001 and been president of the European Association for Theoretical Computer Science (EATCS).