Joe Stoy

{{Short description|British computer scientist}}

{{Use dmy dates|date=April 2018}}

{{Use British English|date=April 2018}}

{{Infobox scientist

| name = Joe Stoy

| native_name =

| native_name_lang =

| image = Joe Stoy.jpg

| alt =

| caption = Joe Stoy speaking on Christopher Strachey during a British Computer Society Formal Aspects of Computing Science (BCS-FACS) evening seminar, London office, 15 November 2016

| birth_name = Joseph E. Stoy

| birth_date =

| birth_place = United Kingdom

| death_date =

| death_place =

| death_cause =

| resting_place =

| resting_place_coordinates =

| fields = Computer science

| workplaces = Programming Research Group, Oxford University
MIT
Bluespec, Inc.

| patrons =

| education = Oxford University

| thesis_title =

| thesis_url =

| thesis_year =

| doctoral_advisor =

| academic_advisors =

| doctoral_students =

| notable_students =

| known_for = Denotational semantics with Christopher Strachey
Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics
Bluespec, Inc.

| awards =

| spouse = Gabrielle Stoy

| children =

| parents =

| father =

| mother =

| relatives =

| signature =

| signature_alt =

| website =

| footnotes =

}}

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).[https://web.archive.org/web/20070717154321/http://web.comlab.ox.ac.uk/oucl/work/joe.stoy/ Joe Stoy: Research interests], Oxford University Computing Laboratory, UK. He was a Fellow of Balliol College, Oxford. He has also spent time at the Massachusetts Institute of Technology (MIT) in the United States.{{cite web |url=http://research.microsoft.com/en-us/um/people/leino/IFIP-WG2.3/news.html |title=IFIP Working Group 2.3: Programming Methodology |publisher=Microsoft Research |work=News |access-date=8 November 2011}}

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.Joe Stoy, [http://portal.acm.org/citation.cfm?id=539437 Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics], MIT Press, 1981. (Paperback.) {{ISBN|978-0-262-69076-8}}.

Stoy married Gabrielle Stoy, a mathematician and Fellow of Lady Margaret Hall, Oxford.{{cite web |url=http://www.lmh.ox.ac.uk/Tutors/Fellows-(2)/Profiles/Dr-Gabrielle-Stoy.aspx |title=Profile: Dr Gabrielle Stoy |publisher=Lady Margaret Hall, Oxford |location=Oxford, United Kingdom |access-date=17 November 2016}}