Directors
My research is on formal techniques and verification methods for concurrent and real-time systems, including concurrent objects, transactional memory and associated correctness conditions; weak memory models; algebraic techniques; and hybrid systems.
My research is in the area of programming languages and verification, spanning several topics including non-volatile memory, persistency semantics, weak memory models, stateless model checking, program logics and bug detection tools and techniques.
Program Managers
Teresa Carbajo Garcia
Imperial College London
Ling Zhang
University of Surrey
Advisory Board
UCL and Arm
The Defence Science and Technology Laboratory (Dstl)
Adelard
University of Southampton and Heriot-Watt University
Defense Advanced Research Projects Agency (DARPA)
Lacework
Intel
University of Cambridge
EPSRC
JaneStreet
Oxford University
by