Joseph E. Stoy is a British

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

. He initially studied

physics Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...

Oxford University Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...

. Early in his career, in the 1970s, he worked on

denotational semantics In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called ''denotations'' ...

with

Christopher Strachey Christopher S. Strachey (; 16 November 1916 – 18 May 1975) was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design and computer time-sharing.F. J. Corbató, et al., ...

in the

Programming Research Group The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science, University of Oxford, Department ...

at the Oxford University Computing Laboratory (now the

Oxford University Department of Computer Science The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...

). He was a

Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

Balliol College, Oxford Balliol College () is one of the constituent colleges of the University of Oxford in England. One of Oxford's oldest colleges, it was founded around 1263 by John I de Balliol, a landowner from Barnard Castle in County Durham, who provided the f ...

. He has also spent time at MIT in the

United States The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territorie ...

. In 2003, he co-founded

Bluespec, Inc. Bluespec, Inc. is a semiconductor tool design company co-founded by Professor 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, Bluesp ...

His book ''Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics'' (

MIT Press The MIT Press is a university press affiliated with the Massachusetts Institute of Technology (MIT) in Cambridge, Massachusetts (United States). It was established in 1962. History The MIT Press traces its origins back to 1926 when MIT publish ...

, 1977) is now a classic text. Stoy married Gabrielle Stoy, a mathematician and

Lady Margaret Hall, Oxford Lady Margaret Hall (LMH) is one of the constituent colleges of the University of Oxford in England, located on the banks of the River Cherwell at Norham Gardens in north Oxford and adjacent to the University Parks. The college is more formall ...

References

External links

*
Program Verification and Semantics: The Early Work

Strachey and the Oxford Programming Research Group
a talk by Joe Stoy on Christopher Strachey and the Oxford Programming Research Group. Year of birth missing (living people) Living people Alumni of the University of Oxford English computer scientists Members of the Department of Computer Science, University of Oxford Fellows of Balliol College, Oxford Massachusetts Institute of Technology faculty Formal methods people Programming language researchers Computer science writers British expatriates in the United States {{UK-academic-bio-stub