Personal profile
Research Interests
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.
Qualifications
1992, PhD, University of Cambridge.
Biography
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.
Fingerprint
- 1 Similar Profiles
-
Closing the UK care home data gap - methodological challenges and solutions
Burton, J. K., Goodman, C., Guthrie, B., Gordon, A. L., Hanratty, B. & Quinn, T. J., 15 Dec 2020, In: International Journal of Population Data Science. 5, 4, p. 1391Research output: Contribution to journal › Article › peer-review
Open Access -
End-User Probabilistic Programming
Borghouts, J., Gordon, A. D., Sarkar, A. & Toronto, N., 4 Sept 2019, Quantitative Evaluation of Systems: QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 11785).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
Open AccessFile -
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible, and Deterministic
Gorinova, M. I., Gordon, A. D. & Sutton, C., 2 Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, p. 35:1-35:30 30 p., 35.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Calculation View: multiple-representation editing in spreadsheets
Sarkar, A., Gordon, A. D., Jones, S. P. & Toronto, N., 25 Oct 2018, 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Lisbon, Portugal: Institute of Electrical and Electronics Engineers, p. 85-93 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Deriving Probability Density Functions from Probabilistic Functional Programs
Bhat, S., Borgström, J., Gordon, A. & Russo, C., 3 Jul 2017, In: Logical Methods in Computer Science. 13, 2, p. 1-32 32 p., 6.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Projects
- 1 Finished
-
App Guarden: Resilient Application Stores
Aspinall, D. (Principal Investigator), Franke, B. (Co-investigator), Gordon, A. (Co-investigator), Sannella, D. (Co-investigator), Stark, I. (Co-investigator) & Sutton, C. (Co-investigator)
1/09/13 → 31/08/16
Project: Research