Alumni
Thinking about studying for a PhD with us? You're in good company! Our alumni have gone on to distinguished careers in both academia and industry all over the world. Here is a small sample of our more than 250 alumni.
| Luca Cardelli (PhD 1982) | Assistant Director at Microsoft Research in Cambridge. Fellow of the Royal Society. Fellow of the ACM. Dahl-Nygaard prize 2007. Has worked for Bell Labs. Implemented first compiler for ML. |
| Paídí Creed (PhD 2010) | Principal Researcher at Benevolent AI. Formerly software developer at SwiftKey, and Adjunct Assistant Professor at University of Notre Dame. |
| Rocco De Nicola (PhD 1985) | Professor of Computer Science at IMT Lucca. Commander of the Order of the Italian Republic. |
| Philippa Gardner (PhD 1992) | Professor of Computer Science at Imperial College London. |
| Leslie Goldberg (PhD 1992) | Professor of Computer Science at the University of Oxford. Distinguished dissertation in Computer Science prize. Member of Academia Europaea. Has worked for Sandia National Laboratories. |
| Douglas Gurr (PhD 1991) | Chairman British Heart Foundation, Director of the UK government Department for Work and Pensions. Was partner at McKinsey, founded Blueheath, director at Asda, worked for Amazon. |
| Geoffrey Hinton (PhD 1977) | Professor of Computer Science at University of Toronto, and VP and Engineering Fellow at Google. Fellow of the Royal Society. Rumelhart Prize 2001. IJCAI lifetime achievement award 2005. Herzberg Medal 2011. IEEE James Clerk Maxwell Award 2016. Turing Award 2018. |
| Martin Hofmann (PhD 1995) | Professor of Computer Science at Ludwig-Maximillians University of Munchen. Passed away in 2018. |
| Mark Jerrum (PhD 1981) | Professor of Mathematics at Queen Mary University in London. Godel prize 1996. Fulkerson prize 2006. |
| Kim Larsen (PhD 1986) | Professor of Computer Science at Aalborg University. |
| Anthony Lin (PhD 2010) | Professor in Theoretical Computer Science at TU Kaiserslautern, Max Planck Fellow, Kleene award 2010. |
| Eugenio Moggi (PhD 1988) | Professor of Computer Science at the University of Genoa. First described the use of monads in functional programming. |
| Alan Mycroft (PhD 1982) | Professor of Computing at the University of Cambridge. Co-founder of Raspberry Pi Foundation. |
| Flemming Nielson (PhD 1984) | Professor of Computer Science at the Technical University of Denmark. |
| Grant Passmore (PhD 2011) | CEO and co-founder of Imandra Inc, a start-up pioneering advances in AI for algorithm safety and compliance. |
| Alistair Sinclair (PhD 1988) | Professor of Computer Science at UC Berkeley. Godel prize 1996. Fulkerson prize 2006. |
| Alistair Stewart (PhD 2015) | Lead researcher at Web3 Foundation. |
| Mads Tofte (PhD 1988) | Vice chancellor of IT University of Copenhagen. IT award 2002. |
| Leslie Valiant (LFCS 1975-1982) | Professor of Computer Science and Applied Mathematics at Harvard University. Nevanlinna prize 1986. Knuth prize 1997. EATCS award 2008. ACM Turing award 2010. Fellow of the Royal Society. Fellow of the AAAI. Member of the National Academy of Sciences. |
| Li Wei (PhD 1983) | President of Bejing University of Aeronautics and Astronautics. Member of the Chinese Academy of Sciences. |
| Glynn Winskel (PhD 1980) | Professor of Computer Science at the University of Cambridge. Fellow of the Alan Turing Institute. |