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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

17:20 - 18:20
Business meetingPOPL at Auditorium
Chair(s): Andrew D. Gordon Microsoft Research and University of Edinburgh
17:20
20m
Talk
PC Chair report
POPL
Andrew D. Gordon Microsoft Research and University of Edinburgh
17:40
10m
Talk
POPL 2018 presentation
POPL
Andrew Myers Cornell University, Ranjit Jhala University of California, San Diego
17:50
30m
Meeting
SIGPLAN business meeting
POPL
C: Andrew D. Gordon Microsoft Research and University of Edinburgh