![Andrew D. Gordon](https://conf.researchr.org/getProfileImage/andrewdgordon/0e7ae580-5233-4e8d-bd1f-a9a88d0bc3a6/small.jpg?1711689959000)
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
Contributions
2016
POPL
POPL 2016-profile
View general profile
View general profile