 Andrew D. Gordon

Andrew D. Gordon is a British computer scientist employed by Microsoft Research.His research interests include programming language design, formal methods, concurrency, cryptography, and access control.