Concepedia

Andrew D. Gordon

AD

Statistics

Publications

80

Citations

5.1K

H-Index

39

Active since

1972

Affiliations

Microsoft Research (United Kingdom)(Current)

Microsoft (United States)

University of Edinburgh

University of Cambridge

Uppsala University

Andrew D. Gordon is an author at Microsoft Research (United Kingdom) specializing in computing, computer science, and formal methods.

Publications per year

1972–2023

80

Publications

80

Concurrent Haskell

Simon Peyton Jones, Andrew D. Gordon, Sigbjørn Finne · 1996 · 378 citations

Computing, Computer Science, Computer Systems +10

Probabilistic programming

Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori et al. · 2014 · 361 citations · Full text

Natural Sciences, Computer Science, Probability Theory +13

Anytime, anywhere

Luca Cardelli, Andrew D. Gordon · 2000 · 351 citations

Humanities, Communication, Advertising +11

Refinement types for secure implementations

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · ACM Transactions on Programming Languages and Systems · 2011 · 228 citations · Full text

Computing, Computer Science, Cybersecurity +17

SecPAL: Design and semantics of a decentralized authorization language

Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon · Journal of Computer Security · 2010 · 188 citations · Full text

Computing, Computer Science, Access Management +16

1–5 of 80