Joseph E. "Joe" Stoy
British computer scientist. In the 1970s, 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). Author of Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. In 2003, co-founded Bluespec, Inc.