Jade Alglave FREng (born 1984) is a French computer scientist. Her research focuses on concurrency control, consistency models, weak hardware memory models, the relationship between computer hardware and programming languages, and the "cat" domain-specific language for consistency models. She is a professor of computer science at University College London and a distinguished engineer at Arm, a British semiconductor company.

Education and career

Alglave studied under Luc Maranget at INRIA. She earned her doctorate in 2010 from Paris Diderot University.

After completing research at the University of Oxford, she became a lecturer at Queen Mary University of London. There, she worked with Peter O'Hearn and Byron Cook before joining them at University College London. While remaining affiliated with University College London, Alglave also worked as a researcher at Microsoft Research Cambridge from 2014 to 2018. In 2018, she began working at Arm. In 2019, she was appointed as a professor at University College London.

Recognition

Alglave received the 2014 Brian Mercer Award for Innovation from the Royal Society. She was awarded the Silver Medal by the Royal Academy of Engineering in 2018. In 2020, the British Computer Society presented her with the Roger Needham Award. In 2021, she was named a Fellow of the Royal Academy of Engineering.