Jade Alglave

Jade Alglave FREng (born 1984)[1] is a French computer scientist whose research involves concurrency control, consistency models, weak hardware memory models, the relation 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 British semiconductor firm Arm.

[5] Alglave won the 2014 Brian Mercer Award for Innovation of the Royal Society.

[6] She won the Silver Medal of the Royal Academy of Engineering in 2018.

[7] In 2020 the British Computer Society gave her the Roger Needham Award.