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