POPL 2017
Sun 15 - Sat 21 January 2017
Thu 19 Jan 2017 17:20 - 17:40 at Auditorium - Business meeting Chair(s): 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.

Thu 19 Jan

POPL-2017-papers
17:20 - 18:20: POPL - Business meeting at Auditorium
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers17:20 - 17:40
Talk
Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2017-papers17:40 - 17:50
Talk
Andrew MyersCornell University, Ranjit JhalaUniversity of California, San Diego
POPL-2017-papers17:50 - 18:20
Meeting
Andrew D. GordonMicrosoft Research and University of Edinburgh