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
Personal website: https://www.linkedin.com/in/andy-gordon-3113475/
Research interests:Formal methods, Semantics, Programming languages, Probabilistic programming
Contributions
POPL 2021-profile
View general profile
View general profile