Wolfson Fellow elected Fellow of the Royal Society

Image of Professor Peter Sewell FRS
10/05/2023

Wolfson is delighted to announce that College Fellow, Professor Peter Sewell FRS, has been elected as a Fellow of the Royal Society.

Image of Professor Peter Sewell FRS

Professor Sewell is among 80 outstanding researchers, innovators and communicators from around the world who have been elected on account of their “substantial contribution to the advancement of science”.

Professor Sewell is a Professor of Computer Science and a ERC Advanced Grant holder at the University of Cambridge Computer Laboratory. His research aims to build mathematically rigorous foundations for the engineering of real-world computer systems, to make them better-understood, more robust, and more secure. 

According to the Department of Computer Science and Technology, he and his group are best known for their work on the subtle relaxed-memory concurrency behaviour and detailed sequential semantics of processors and programming languages.

They have brought these into the mathematical domain, creating experimentally grounded models that de-mystify them for practitioners and theoreticians, to enable more rigorous engineering and more realistic theory.

Professor Sewell FRS said: "This honour is a testament to the work of many excellent colleagues over the years, without whom none of this would have been possible."

The Royal Society is the UK’s national academy of sciences and the oldest science academy in continuous existence. New Fellows join the ranks of Stephen Hawking, Isaac Newton, Charles Darwin, Albert Einstein, Lise Meitner, Subrahmanyan Chandrasekhar, and Dorothy Hodgkin. 

Read more

You can read more about Professor Sewell on his departmental website.

You can read his College profile on our website here

And you can find out more about the other newly elected Fellows, of whom there are six others from Cambridge University, on the Royal Society’s website.

News