Andrew D. Gordon

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 2019Author of Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic within the Research Papers-track
Session Chair of Session Types II (part of Research Papers)
Committee Member in Steering Committee
PPS 2018Co-chair in Program Committee within the PPS 2018-track
Session Chair of SESSION I (invited talk) (part of PPS 2018)
Author of SlicStan: Improving Probabilistic Programming using Information Flow Analysis within the PPS 2018-track
POPL 2018Committee Member in Steering Committee
POPL 2017Session Chair of Type Systems 2 (part of POPL)
Session Chair of Invited speaker (part of POPL)
Program Chair in Organizing Committee
Author of PC Chair report within the POPL-track
Chair of SIGPLAN business meeting within the POPL-track
Session Chair of Business meeting (part of POPL)
Chair in Program Committee within the POPL-track
Speaker of Opening (part of POPL)
Committee Member in Steering Committee
PPS 2016Author of Parameterized Probability Monad within the PPS 2016-track
Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the PPS 2016-track
ICFP 2016Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track
POPL 2016Committee Member in Steering Committee
ERC member in External Reviewing Committee
Author of Fabular: Regression Formulas as Probabilistic Programming within the Research Papers-track
ERC member in External Reviewing Committee within the Research Papers-track
ML4PL 2015Committee Member in Program committee within the ML4PL-track
Author of Bimodal Modelling of Source Code and Natural Language within the ML4PL-track
ESOP 2015Author of Probabilistic Programs as Spreadsheet Queries within the ESOP-track
ECOOP 2015Speaker of Empowering Spreadsheet Users with Probabilistic Programs within the Curry On-track