conf.researchr.org / Jade Alglave
Registered user since Thu 10 Nov 2016
Name:Jade Alglave
Bio:
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
Personal website: http://www0.cs.ucl.ac.uk/staff/j.alglave/
Research interests:Concurrency, Memory models, Verification
Contributions