Members of Oxford University Computing Laboratory Members of Oxford University Computing Laboratory Prof. A. W. "Bill" Roscoe is Director of Oxford University Computing Laboratory and a Professor of Computing Science. He is also a Fellow of University College, Oxford. ...more on Wikipedia about "Bill Roscoe"
Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born January 11, 1934) is a British computer scientist, probably best known for the development of Quicksort, the world's most widely used sorting algorithm, in 1960. He also developed Hoare logic, and the formal language Communicating Sequential Processes (CSP) used to specify the interactions of concurrent processes and the inspiration for the Occam programming language. ...more on Wikipedia about "C. A. R. Hoare"
Christopher Strachey ( 1916– 1975) was a British computer scientist. ...more on Wikipedia about "Christopher Strachey"
Professor Clifford "Cliff" Jones FACM FBCS FIEE FREng is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM in Vienna. ...more on Wikipedia about "Cliff Jones"
David A. Turner is a prominent British computer scientist. ...more on Wikipedia about "David Turner (computer scientist)"
Donald Ervin Knuth (born January 10, 1938) is a renowned computer scientist and professor emeritus at Stanford University. ...more on Wikipedia about "Donald Knuth"
Professor He Jifeng is a Chinese computer scientist. ...more on Wikipedia about "He Jifeng"
Jean-Raymond Abrial, French computer scientist. ...more on Wikipedia about "Jean-Raymond Abrial"
Professor Jim C. P. Woodcock FRSA FBCS, British computer scientist. ...more on Wikipedia about "Jim Woodcock"
Joe Stoy is a British computer scientist, although he originally studied physics at Oxford University. Early in his career, he worked on denotational semantics with Christopher Strachey in the Programming Research Group at the Oxford University Computing Laboratory in the 1970s, where he spent most of his working life. He was a Fellow of Balliol College, Oxford and often visited MIT. His classic book was Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics ( MIT Press, 1977). ...more on Wikipedia about "Joe Stoy"
Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist and is Professor of Computing at London South Bank University where he heads the Centre for Applied Formal Methods in the Institute for Computing Research. ...more on Wikipedia about "Jonathan Bowen"
Joseph Goguen (born 28 June 1941) is a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who helped develop the OBJ family of programming languages. He is author of A Categorical Manifesto and Editor-in-Chief of the Journal of Consciousness Studies. ...more on Wikipedia about "Joseph Goguen"
Professor G. Mike Reed is an American computer scientist and Director of UNU/IIST, Macau, part of the United Nations University. Previously he was at the Oxford University Computing Laboratory. He is interested in theoretical computer science in general and CSP in particular. ...more on Wikipedia about "Mike Reed"
Prof. Richard S. Bird is a Fellow of Computation at Lincoln College, Oxford and former director of Oxford University Computing Laboratory. His research interests lie in algorithm design and functional programming, and he is renowned as a regular contributor to the Journal of Functional Programming and author of several books. ...more on Wikipedia about "Richard Bird"
Prof. Samson Abramsky, FRS (born March 12, 1953) is a computer scientist. Since the Year 2000, he has been a Fellow of the Royal Society of Edinburgh, a Fellow of Wolfson College, Oxford and Christopher Strachey Professor of Computing at Oxford University Computing Laboratory. He has also been a Fellow of the Royal Society since 2004. His research achievements include the development of game semantics, domain theory in logical form, and categorical quantum mechanics. ...more on Wikipedia about "Samson Abramsky"
Zhou Chaochen (born November 1, 1937) is a Chinese computer scientist. ...more on Wikipedia about "Zhou Chaochen"
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia . Direct links to the original articles are in the text.
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Shortopedia article about "Members of Oxford University Computing Laboratory".
| MAIN PAGE | MAIN INDEX | CONTACT US |