Andrew D. Gordon

Registered user since Tue 6 Jan 2015

Name:Andrew D. Gordon

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


PPS 2018 Co-chair in Program Committee within the PPS 2018-track
Session Chair of SESSION I (invited talk) (part of PPS 2018)
SlicStan: Improving Probabilistic Programming using Information Flow Analysis
POPL 2018 Committee Member in Steering Committee
Show activities from other conferences

POPL 2018-profile
View general profile