
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
LAFI 2021 | Committee Member in Steering Committee within the LAFI 2021-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile