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. He was a Fellow of Balliol College, Oxford. He has also spent time at MIT in the United States. In 2003, he co-founded Bluespec, Inc.
His book Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics is now a classic text.
Stoy married Gabrielle Stoy, a mathematician and Fellow of Lady Margaret Hall, Oxford.