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
Research interests:Formal methods, Semantics, Programming languages, Probabilistic programming

Contributions

LAFI 2021 Committee Member in Steering Committee within the LAFI 2021-track
VL/HCC 2020 Committee Member in Organizing Committee within the Workshop: Intelligence in Spreadsheets and End-User Programming (ISEUP)-track
Author of Understanding and Inferring Units in Spreadsheets within the Research Papers-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
LAFI 2020 Committee Member in Steering Committee within the LAFI (né PPS)-track
ICFP 2020 Author of Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays within the ICFP Program-track
LAFI 2019 Committee Member in Steering Committee within the LAFI (né PPS)-track
POPL 2019 Author 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 2018 Co-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 2018 Committee Member in Steering Committee
POPL 2017 Session 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 2016 Author 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 2016 Author of A Lambda-Calculus Foundation for Universal Probabilistic Programming within the Research Papers-track
POPL 2016 Committee 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 2015 Committee Member in Program committee within the ML4PL-track
Author of Bimodal Modelling of Source Code and Natural Language within the ML4PL-track
ESOP 2015 Author of Probabilistic Programs as Spreadsheet Queries within the ESOP-track
ECOOP 2015 Speaker of Empowering Spreadsheet Users with Probabilistic Programs within the Curry On-track