Andrew D. Gordon

Registered user since Tue 6 Jan 2015

Name:Andrew D. Gordon
Bio:

Andy Gordon leads Calc Intelligence at Microsoft Research, bringing intelligence to end-user programming, especially spreadsheets. Calc Intelligence partners closely with Microsoft Excel: features such as LAMBDA and Calc.ts, arising from their mission to enhance Excel as a programming language, ship now in production to many millions of customers.

Country:United Kingdom
Affiliation:Microsoft Research and University of Edinburgh
Research interests: Programming languages: their principles, logic, usability, and trustworthiness.

Contributions

LAFI 2022 Committee Member in Steering Committee within the The Seventh International Workshop on Languages for Inference-track
PLMW @ ICFP 2021 Panelist of "I don't get it!" Panel within the PLMW @ ICFP 2021-track
LAFI 2021 Committee Member in Steering Committee within the LAFI 2021-track
VL/HCC 2021 Author of Where-provenance for Bidirectional Editing in Spreadsheets within the Research Papers-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