Write a Blog >>
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://onedrive.live.com/view.aspx/adg?cid=c6149b019d236bf5

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


PPS 2016 Parameterized Probability Monad
A Lambda-Calculus Foundation for Universal Probabilistic Programming
POPL 2016 Committee Member in Steering Committee
ERC member in External Reviewing Committee
Fabular: Regression Formulas as Probabilistic Programming
ERC member in External Reviewing Committee within the Research Papers-track
Show activities from other conferences

POPL 2016-profile
View general profile