Edinburgh Research Explorer

Prof Andrew Gordon

Chair in Computer Security

Research Interests

My Current research is on probabilistic programming for machine learning and security.

Biography

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. 

Before joining Microsoft in 1997, I was a Royal Society University Research Fellow at the University of CambridgeComputer Laboratory. 

Between April 2007 and April 2010, I was a Visiting Professor in the School of Computing Science at the University of Newcastle upon Tyne.

Research outputs

  1. Probabilistic Programs as Spreadsheet Queries

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Guiding a general-purpose C verifier to prove cryptographic protocols

    Research output: Contribution to journalArticle

  3. Probabilistic Programming

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (44) »

ID: 14681