Joe Stoy
From Wikipedia, the free encyclopedia
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. He is a Fellow of Balliol College, Oxford. In 2003 he cofounded Bluespec, Inc.
His book Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics (MIT Press, 1977) is now a classic text.
[edit] External links
 |
This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |
 |
This biography of a United Kingdom academic is a stub. You can help by expanding it. |
Categories: Year of birth missing (living people) | Living people | British academics | British computer scientists | Members of Oxford University Computing Laboratory | Fellows of Balliol College, Oxford | Formal methods people | Programming language researchers | United Kingdom computer specialist stubs | United Kingdom academic biography stubs
