Michael Paterson is a computer scientist and expert in theoretical computer science, a subset of computer science and mathematics that focuses on abstract aspects of computing. Michael has been credited with affirming computer science as a true science in the 1960s; the field has subsequently proven essential in order to continually advance the capabilities of computers and the advantages they afford us.
His important contributions to theoretical computer science stand out for being original as well as precise. He focuses on the design and analysis of algorithms and computational complexity. Michael’s work has stimulated and expanded the field with contributions towards many aspects, including computational geometry, fast arithmetic circuits and computational biology.
Michael has published over 100 papers in the field. He is a former President of the European Association for Theoretical Computer Science (EATCS) and a former Director of the Centre for Discrete Mathematics and its Applications at the University of Warwick. Michael’s distinguished career was recognised by the 2006 EATCS Award and a workshop held in honour of his 66th birthday in 2008.