Jump to content

Joe Stoy

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by SdkbBot (talk | contribs) at 08:57, 17 January 2022 (Removed overlinked country wikilink and general fixes (task 2)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Joe Stoy speaking on Christopher Strachey during a BCS-FACS evening seminar at the BCS London office, 15 November 2016

Joseph E. 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 (now the Oxford University Department of Computer Science).[1] He was a Fellow of Balliol College, Oxford. He has also spent time at MIT in the United States.[2] In 2003, he co-founded Bluespec, Inc.

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

  1. ^ Joe Stoy: Research interests, Oxford University Computing Laboratory, UK.
  2. ^ "IFIP Working Group 2.3: Programming Methodology". News. Microsoft Research. Retrieved 8 November 2011.
  3. ^ Joe Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics, MIT Press, 1981. (Paperback.) ISBN 978-0-262-69076-8.
  4. ^ "Profile: Dr Gabrielle Stoy". UK: Lady Margaret Hall, Oxford. Retrieved 17 November 2016.


Stub icon

This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.

Stub icon

This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Joe_Stoy&oldid=1066212076"