
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
ICFP 2021 | Committee Member in Program Committee within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |