Joe Stoy

Joe Stoy

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 is a Fellow of Balliol College, Oxford. In 2003 he cofounded Bluespec, Inc.

His book "Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics" (MIT Press, 1977) is now a classic text.

External links

* [http://web.comlab.ox.ac.uk/oucl/work/joe.stoy/ Research interests]
* [http://vmoc.museophile.org/pvs01/ Program Verification and Semantics: The Early Work]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • List of University of Oxford people in academic disciplines — This is a list of people from the University of Oxford in academic disciplines. Many were students at one (or more) of the colleges of the University, and others held fellowships at a college. This list forms part of a series of lists of people… …   Wikipedia

  • Liste der Biografien/Sto — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • 23. Jänner — Der 23. Januar (in Österreich und Südtirol: 23. Jänner) ist der 23. Tag des Gregorianischen Kalenders, somit verbleiben 342 Tage (in Schaltjahren 343 Tage) bis zum Jahresende. Historische Jahrestage Dezember · Januar · Februar 1 …   Deutsch Wikipedia

  • 22. Jänner — Der 22. Januar (in Österreich und Südtirol: 22. Jänner) ist der 22. Tag des Gregorianischen Kalenders, somit verbleiben 343 Tage (in Schaltjahren 344 Tage) bis zum Jahresende. Historische Jahrestage Dezember · Januar · Februar …   Deutsch Wikipedia

  • 22. Januar — Der 22. Januar (in Österreich und Südtirol: 22. Jänner) ist der 22. Tag des Gregorianischen Kalenders, somit verbleiben 343 Tage (in Schaltjahren 344 Tage) bis zum Jahresende. Historische Jahrestage Dezember · Januar · Februar …   Deutsch Wikipedia

  • 23. Januar — Der 23. Januar (in Österreich und Südtirol: 23. Jänner) ist der 23. Tag des Gregorianischen Kalenders, somit verbleiben 342 Tage (in Schaltjahren 343 Tage) bis zum Jahresende. Historische Jahrestage Dezember · Januar · Februar 1 …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”