Andrew D. Gordon
Andrew D. Gordon | |
|---|---|
| Born | |
| Education | Ph.D., University of Cambridge, 1992 |
| Known for | Concurrent Haskell Spi calculus ambient calculus SecPAL |
| Scientific career | |
| Fields | computer science |
| Institutions | Cogna Department of Computer Science and Technology, University of Cambridge University of Edinburgh Microsoft Research |
| Thesis | Functional programming and input/output (1992) |
| Website | www |
Andrew D. Gordon is a British computer scientist employed by software synthesis company Cogna as Chief Science Officer, and by the University of Cambridge. Formerly, he worked for Microsoft Research. His research interests include programming language design, formal methods, concurrency, cryptography, and access control.