Registered user since Tue 6 Jan 2015
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.
|LAFI 2020||Committee Member in Steering Committee within the LAFI (né PPS)-track|
|Show activities from other conferences|
View general profile