Andrew D. Gordon

Registered user since Tue 6 Jan 2015

Name: Andrew D. Gordon

Bio: I am a Principal Researcher at Microsoft Research, Cambridge, where I manage Programming Principles and Tools. As a part-time position, I also hold the Chair in Computer Security and am a member of the Laboratory for Foundations of Computer Science and the Security and Privacy group in the School of Informatics in the University of Edinburgh. I convene the University of Edinburgh Microsoft Research Joint Initiative in Informatics. I participate in the Data Science PhD programme. My current research is on probabilistic programming for machine learning.

Country: United Kingdom

Affiliation: Microsoft Research and University of Edinburgh

Personal website: https://www.microsoft.com/en-us/research/people/adg/

Research interests: Formal methods, Semantics, Programming languages, Probabilistic programming

Contributions

POPL 2019Committee 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