Jade Alglave

Registered user since Thu 10 Nov 2016

Name:Jade Alglave

Jade Alglave is a Professor of Computer Science at University College London and a Fellow at Arm, where she leads the Architecture Formal Team. This team is responsible in particular for the maintenance and enhancement of the Arm memory model (https://developer.arm.com/herd7).

Country:United Kingdom
Affiliation:Arm and University College London
Research interests:Concurrency, Memory models, Verification