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. In 2003, he cofounded Bluespec, Inc.
His book Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics (M...
more
Read article at Wikipedia
Joe Stoy
top ↑
top ↑
Computer Scientist
Gender:
We can also tell you Joe Stoy is a
If you know more about Joe Stoy, you can add more facts here »
Similar topics in Freebase
-
John Fitzgerald
John Fitzgerald (born 1965) is a British computer scientist and Chair of Formal Methods Europe. He is a Reader in the School of Computing Science at Newcastle University, UK where he works as a member of the Centre for Software Reliability. His research interests are in the area of dependable... -
Andrew Colin
Andrew J. T. Colin is a British university professor of computer science. He is a co-inventor of the widely used Binary Tree data structure. Professor Colin has published 12 textbooks on various aspects of Computer Science, some of which have been translated into other languages. Andrew Colin... -
Jim Woodcock
Professor Jim C. P. Woodcock FRSA FBCS is a British computer scientist. Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the... -
Edward Tsang
Edward Tsang is a Computer Science professor at the University of Essex. He holds a first degree in Business Administration (major in Finance) from the Chinese University of Hong Kong (1977), and an MSc and PhD in Computer Science from the University of Essex (1983 and 1987). Prior to his PhD... -
Kirk Martinez
Kirk Martinez is a Senior Lecturer in Electronics and Computer Science at the University of Southampton UK. He gained a BSc in Physics from the University of Reading and a PhD in Image Processing in the department of Electronic Systems Engineering at the University of Essex. While Arts Computing... -
Geoffrey E. Hinton
Geoffrey E. Hinton is an English computer scientist, known for his work on neural network. He was one of the inventors of the Backpropagation algorithm for training multi-layer neural networks. Hinton was the first recipient of the Rumelhart Prize and the 2005 recipient of the IJCAI Award for...