Joe Stoy
Jump to navigation
Jump to search
Joseph E. Stoy is a British computer scientist. He initially 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]
Stoy married Gabrielle Stoy, a mathematician and Fellow of Lady Margaret Hall, Oxford.[4]
References
- ^ Joe Stoy: Research interests, Oxford University Computing Laboratory, UK.
- ^ "IFIP Working Group 2.3: Programming Methodology". News. Microsoft Research. Retrieved 8 November 2011.
- ^ Joe Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics, MIT Press, 1981. (Paperback.) ISBN 978-0-262-69076-8.
- ^ "Profile: Dr Gabrielle Stoy". UK: Lady Margaret Hall, Oxford. Retrieved 17 November 2016.
External links
- Joseph E. Stoy at DBLP Bibliography Server
- Program Verification and Semantics: The Early Work
- Strachey and the Oxford Programming Research Group: a talk by Joe Stoy on Christopher Strachey and the Oxford Programming Research Group.
Categories:
- Articles with short description
- Short description is different from Wikidata
- Use dmy dates from April 2018
- Use British English from April 2018
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BIBSYS identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with SUDOC identifiers
- Year of birth missing (living people)
- Living people
- Alumni of the University of Oxford
- English computer scientists
- Members of the Department of Computer Science, University of Oxford
- Fellows of Balliol College, Oxford
- Massachusetts Institute of Technology faculty
- Formal methods people
- Programming language researchers
- Computer science writers
- British expatriates in the United States
- All stub articles
- British computer specialist stubs
- British academic biography stubs