Write a Blog >>
Andrew D. Gordon

Registered user since Tue 6 Jan 2015

Name:Andrew D. Gordon
Bio:

Andrew D. Gordon is a Principal Research Manager at Microsoft Research Cambridge, and is a part-time Professor at the University of Edinburgh. He has worked on a range of topics in concurrency, verification, security, and machine learning, never straying too far from his roots in functional programming. Since joining Microsoft in 1997 he has initiated and led a series of successful research projects and technology transfers. His current passion is to revolutionize spreadsheets with ideas from programming languages, machine learning, and HCI.

Country:United Kingdom
Affiliation:Microsoft Research and University of Edinburgh
Research interests:Formal methods, Semantics, Programming languages, Probabilistic programming

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile