Dr Jade Alglave FREng

Distinguished Engineer, Arm Ltd; and Professor of Computer Science, University College London (UCL)

Professor Jade Alglave, Distinguished Engineer at Arm and Professor at UCL, developed a novel mathematical method of specifying computer memory models, an associated language (cat) and software tools (herd, diy) for writing and experimenting with the models, in tandem with Luc Maranget (INRIA, France). She has been recognised for significant industrial impact through memory models for IBM, NVidia, Heterogenous System Architecture (HSA), Arm and Linux. She navigated the complex world of hardware, low-level software, mathematical modelling techniques, tools, and various scientific and business communities to deliver an innovative series of tools and techniques. Professor Alglave won the Royal Society Brian Mercer Award for Innovation in 2014, the Royal Academy of Engineering Silver Medal in 2018 and the British Computer Society Roger Needham Award in 2020.