Joe Stoy
Encyclopedia
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 (MIT Press
, 1977) is now a classic text.
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
. He originally studied physics
Physics
Physics is a natural science that involves the study of matter and its motion through spacetime, along with related concepts such as energy and force. More broadly, it is the general analysis of nature, conducted in order to understand how the universe behaves.Physics is one of the oldest academic...
at Oxford University. Early in his career, in the 1970s, he worked on denotational semantics
Denotational semantics
In computer science, denotational semantics is an approach to formalizing the meanings of programming languages by constructing mathematical objects which describe the meanings of expressions from the languages...
with Christopher Strachey
Christopher Strachey
Christopher Strachey was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design...
in the Programming Research Group
Programming Research Group
The Programming Research Group is part of the Oxford University Computing Laboratory . It was founded by Christopher Strachey in 1965 and after his death, C.A.R. Hoare, FRS took over the leadership in 1977...
at the Oxford University Computing Laboratory
Oxford University Computing Laboratory
The Department of Computer Science, until 2011 named the Computing Laboratory , is a department of Oxford University in England...
. He was a Fellow
Fellow
A fellow in the broadest sense is someone who is an equal or a comrade. The term fellow is also used to describe a person, particularly by those in the upper social classes. It is most often used in an academic context: a fellow is often part of an elite group of learned people who are awarded...
of Balliol College, Oxford
Balliol College, Oxford
Balliol College , founded in 1263, is one of the constituent colleges of the University of Oxford in England but founded by a family with strong Scottish connections....
. He has also spent time at MIT in the United States
United States
The United States of America is a federal constitutional republic comprising fifty states and a federal district...
. In 2003, he co-founded Bluespec, Inc.
Bluespec, Inc.
Bluespec, Inc. is a semiconductor tool design company co-founded by Prof. Arvind of MIT in June 2003. Arvind had previously founded Sandburst in 2000, which specialized in producing chips for 10G-bit Ethernet routers; for this task, Arvind had developed the Bluespec language, a high-level...
His book Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics (MIT Press
MIT Press
The MIT Press is a university press affiliated with the Massachusetts Institute of Technology in Cambridge, Massachusetts .-History:...
, 1977) is now a classic text.
External links
- Joe Stoy on LinkedInLinkedInLinkedIn is a business-related social networking site. Founded in December 2002 and launched in May 2003, it is mainly used for professional networking. , LinkedIn reports more than 120 million registered users in more than 200 countries and territories. The site is available in English, French,...
- Program Verification and Semantics: The Early Work