![Jade Alglave](https://conf.researchr.org/getProfileImage/jadealglave/679ba7e1-a060-4b25-b3a2-6eeff5fe334c/small.jpg?1711467492000)
Registered user since Thu 10 Nov 2016
Name:Jade Alglave
Bio:
Jade Algave is a lecturer at University College London. Her area of expertise is weak memory models and the interface between hardware and programming languages. She actually understands what C++ programs do when run on a PPC processor!
Country:France
Affiliation:University College London
Personal website: http://www0.cs.ucl.ac.uk/staff/j.alglave/
Research interests:Concurrency, Memory models, Verification
Contributions
POPL 2017-profile
View general profile
View general profile