Professor Jade Alglave wins the 2020 BCS Roger Needham Award

Professor Jade Alglave has been awarded the 2020 BCS Roger Needham Award sponsored by Microsoft Research Cambridge. The award has been made in recognition of her fundamental work in one of the more difficult areas of computer science: concurrency.
Jade Alglave is a Professor of Computer Science at University College London, as well as a Senior Principal Engineer at Arm. She has developed models of the memory models used by hardware chips, together with a language for specifying these models (cat) and software tools (diy7 and herd7) for experimenting with and testing them.
Read the full story here: