Research output per year
Research output per year
PROF
Andy’s research is on programming languages: their principles, logic, usability, and trustworthiness.
Ideas from his work have had impact on several best-in-class programming languages, as well as Excel, the world’s most widely used programming language.
1992, PhD, University of Cambridge.
I am Senior Principal Research Manager at Microsoft Research, Cambridge, head of Calc Intelligence.
As a part-time position, since 2010, 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.
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 output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Aspinall, D., Franke, B., Gordon, A., Sannella, D., Stark, I. & Sutton, C.
1/09/13 → 31/08/16
Project: Research