SettingsMembers of Oxford University Computing Laboratory
Andrew Clive Simpson
Dr Andrew Clive Simpson is a British Computer Scientist.
Dr Andrew Clive Simpson is a British Computer Scientist.
Andrew Martin (computer scientist)
Dr. Andrew Martin is a British computer scientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford, England.
Dr. Andrew Martin is a British computer scientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford, England.
Bill Roscoe
A. William "Bill" Roscoe is a Scottish computer scientist.
A. William "Bill" Roscoe is a Scottish computer scientist.
C. A. R. Hoare
Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at ag...
Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at ag...
Christopher Strachey
Christopher Strachey (1916–1975) was a British computer scientist.
Christopher Strachey (1916–1975) was a British computer scientist.
Cliff Jones (computer scientist)
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.
David Gavaghan
Professor David Gavaghan, B.Sc. (Dunelm), MA, M.Sc., D.Phil.
Professor David Gavaghan, B.Sc. (Dunelm), MA, M.Sc., D.Phil.
David Turner (computer scientist)
Professor David Turner is a British computer scientist.
Professor David Turner is a British computer scientist.
Donald Knuth
Donald Ervin Knuth is a computer scientist and Professor Emeritus at Stanford University.
Donald Ervin Knuth is a computer scientist and Professor Emeritus at Stanford University.
G. Mike Reed
Professor G. Mike Reed is an American computer scientist and Director of UNU/IIST, Macau, part of the United Nations University since 2005.
Professor G. Mike Reed is an American computer scientist and Director of UNU/IIST, Macau, part of the United Nations University since 2005.
Georg Gottlob
Georg Gottlob FRS is an Oxford-based Austrian computer scientist who works in the areas of database theory, logic, and artificial intelligence.
Georg Gottlob FRS is an Oxford-based Austrian computer scientist who works in the areas of database theory, logic, and artificial intelligence.
He Jifeng
He Jifeng is a Chinese computer scientist.
He Jifeng is a Chinese computer scientist.
Ian Horrocks
Ian Horrocks is a Professor of Computer Science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford.
Ian Horrocks is a Professor of Computer Science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford.
Jawed Siddiqi
Jawed Siddiqi is a Pakistani British computer scientist and software engineer.
Jawed Siddiqi is a Pakistani British computer scientist and software engineer.
Jean-Raymond Abrial
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.
Jeremy Gibbons
Dr Jeremy Gibbons is a Computer Scientist.
Dr Jeremy Gibbons is a Computer Scientist.
Jim Davies (computer scientist)
Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England.
Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England.
Jim Woodcock
Professor Jim C. P. Woodcock FRSA FBCS is a British computer scientist.
Professor Jim C. P. Woodcock FRSA FBCS is a British computer scientist.
Joe Stoy
Joe Stoy is a British computer scientist.
Joe Stoy is a British computer scientist.
John Michael Spivey
John Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford.
John Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford.
Joseph Goguen
Joseph Amadee Goguen (28 June 1941 – 3 July 2006) was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who help...
Joseph Amadee Goguen (28 June 1941 – 3 July 2006) was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who help...
Kevin Lano
Kevin Lano is a computer scientist.
Kevin Lano is a computer scientist.
Mark d'Inverno
Professor Mark d'Inverno is a computer scientist based at the Goldsmiths College, University of London, England.
Professor Mark d'Inverno is a computer scientist based at the Goldsmiths College, University of London, England.
Martyn Thomas
Martyn Thomas CBE FREng FBCS FIET FRSA is a British independent consultant and software engineer.
Martyn Thomas CBE FREng FBCS FIET FRSA is a British independent consultant and software engineer.
Michael Butler (computer scientist)
Michael J. Butler is Professor of Computer Science at the University of Southampton, UK.
Michael J. Butler is Professor of Computer Science at the University of Southampton, UK.
Peter Mosses
Peter D. Mosses (born 1948) is a British computer scientist.
Peter D. Mosses (born 1948) is a British computer scientist.
Philip Wadler
Philip Wadler (born 8 April 1956, USA) is a computer scientist known for his contributions to programming language design and type theory.
Philip Wadler (born 8 April 1956, USA) is a computer scientist known for his contributions to programming language design and type theory.
Richard Bird (computer scientist)
Prof. Richard Simpson Bird (born 1943, London) is a Fellow of Computation at Lincoln College, Oxford, England, and former director of Oxford University Computing Laboratory.
Prof. Richard Simpson Bird (born 1943, London) is a Fellow of Computation at Lincoln College, Oxford, England, and former director of Oxford University Computing Laboratory.
Samson Abramsky
Samson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory.
Samson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory.
Tony Hoare
Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at ag...
Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at ag...
Zhou Chaochen
Zhou Chaochen (; born November 1, 1937) is a Chinese computer scientist.
Zhou Chaochen (; born November 1, 1937) is a Chinese computer scientist.