| Born | 13 January 1934 (age 89) Prestwich, Greater Manchester, England |
| Died | 20 March 2010 (aged 76) Cambridge, England |
| Awards | Turing Award (1991) • Fellow of the Royal Society (1988) |
| Education | University of Cambridge (BA and PhD) • University of Manchester |
| Known for | Concurrency • Process calculus • Quantum computing |
| Occupation | Theoretical computer scientist |
| Citizenship | |
| Nationality | British |
| Affiliations | University of Manchester • Stanford University • University of Edinburgh • University of Cambridge |
| Notable works | Calculus of Communicating Systems (CCS) • Communicating Sequential Processes (CSP) • Logic for Computable Functions |
