Prof. Jade Alglave FREng is a Fellow at Arm, where she leads the Architecture Formal team, and a Professor of Computer Science at UCL. She developed a novel mathematical method for specifying computer concurrency models, along with the associated language and software tools for experimenting with these models. She has been recognized for industrial impact (concurrency models for IBM, NVidia, HSA, Arm, and Linux), receiving the Royal Society Brian Mercer Award, the Royal Academy of Engineering Silver Medal, the BCS Roger Needham Award, and other accolades such as being an honouree of the NYU/Blavatnik award, and a Fellow of the Royal Academy of Engineering.
Jade Alglave
