AboutSign inJoin

Andrew D. Gordon

About

Andrew D. Gordon is a British computer scientist employed by Microsoft Research. His research interests include programming language design, formal methods, concurrency, cryptography, and access control.

Books

Ultra Smooth Jazz Grooves for Bass
Ultra Smooth Jazz Grooves for Bass
Andrew D. Gordon, Frank Villafranca
Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
Poland) Etaps 200 (2003 Warsaw, Andrew D. Gordon, Poland) FOSSACS 2003 (2003 : Warsaw
Martín Abadi, Andrew D. Gordon
A Calculus for Cryptographic Protocols
The Spi Calculus
A Calculus for Cryptographic Protocols
Martín Abadi, Andrew D. Gordon
Functional Programming and Input/Output
Functional Programming and Input/Output
Andrew D. Gordon

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian