Joe Stoy
Template:Short description Template:Use dmy dates Template:Use British English Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters".
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 the Massachusetts Institute of Technology (MIT) in the United States.[2]
In 2003, he co-founded Bluespec, Inc., a United States electronic design automation company. It provides a functional programming language named Bluespec SystemVerilog (BSV), a Haskell variant extended as a high-level hardware description language to design electronic chips.
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
<templatestyles src="Reflist/styles.css" />
- ↑ Joe Stoy: Research interests, Oxford University Computing Laboratory, UK.
- ↑ Script error: No such module "citation/CS1".
- ↑ Joe Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics, MIT Press, 1981. (Paperback.) Template:ISBN.
- ↑ Script error: No such module "citation/CS1".
Script error: No such module "Check for unknown parameters".
External links
- Template:First word Joseph E. Stoy at DBLP Bibliography ServerTemplate:EditAtWikidata
- 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.
- Pages with script errors
- 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