in 1967, under the supervision of David Park. 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.

Paterson is an expert on theoretical computer science with more than 100 publications, especially in the design and analysis