| Joe Stoy | |
| Birth Name: | Joseph E. Stoy |
| Birth Place: | United Kingdom |
| Fields: | Computer science |
| Workplaces: | Programming Research Group, Oxford University MIT Bluespec, Inc. |
| Education: | Oxford University |
| Thesis1 Title: | and |
| Thesis2 Title: | --> |
| Thesis1 Url: | and |
| Thesis2 Url: | --> |
| Thesis1 Year: | and |
| Thesis2 Year: | --> |
| Doctoral Advisors: | --> |
| Known For: | Denotational semantics with Christopher Strachey Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics Bluespec, Inc. |
| Spouse: | Gabrielle Stoy |
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]