Joe Stoy
Joseph E. "Joe" Stoy is a British computer scientist. He originally studied physics at Oxford University. Early in his career, in the 1970s, he worked on denotational semantics with Christopher Strachey in the Programming Research Group at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science).[1] He was a Fellow of Balliol College, Oxford. He has also spent time at MIT in the United States.[2] In 2003, he co-founded Bluespec, Inc.
His book Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics (MIT Press, 1977) is now a classic text.[3]
References
- ↑ Joe Stoy: Research interests, Oxford University Computing Laboratory, UK.
- ↑ "IFIP Working Group 2.3: Programming Methodology". News. Microsoft Research. Retrieved November 8, 2011.
- ↑ Joe Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics, MIT Press, 1981. (Paperback.) ISBN 978-0-262-69076-8.
External links
- Joe Stoy on LinkedIn
- Joe Stoy's publications indexed by the DBLP Bibliography Server at the University of Trier
- Program Verification and Semantics: The Early Work
|
This article is issued from Wikipedia - version of the Saturday, May 02, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.