Email
Jeff Magee
Professor of Computing, Imperial College London
Verified email at imperial.ac.uk