Darwin Emeritus Fellow Professor Andrew Pitts has been elected as a Fellow of the Royal Society, in recognition of his impact in the field of Theoretical Computer Science.
Andy’s research makes use of techniques from category theory, mathematical logic and type theory to advance the foundations of programming language semantics and theorem proving systems. His aim is to develop mathematical models and methods that aid language design and the development of formal logics for specifying and reasoning about programs. He is particularly interested in higher-order typed programming languages and in dependently typed logics.
The Royal Society is the oldest scientific academy in continuous existence. Andy is one of nine outstanding Cambridge scientists elected to the Fellowship’s newest cohort
Sir Adrian Smith, President of the Royal Society, said of their election:
“Their achievements represent the very best of scientific endeavour, from basic discovery to research with real-world impact across health, technology and policy. From tackling global health challenges to reimagining what AI can do for humanity, their work is a testament to the power of curiosity-driven research and innovation.
“The strength of the Fellowship lies not only in individual excellence, but in the diversity of backgrounds, perspectives and experiences each new member brings. This cohort represents the truly global nature of modern science and the importance of collaboration in driving scientific breakthroughs.”
