ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Jade Alglave

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
Research interests:Concurrency, Memory models, Verification

Contributions

Show activities from other conferences

ESOP 2015-profile
View general profile