Find link

language:

Find link is a tool written by Edward Betts.

searching for Department of Computer Science, University of Oxford 39 found (66 total)

alternate case: department of Computer Science, University of Oxford

Jonathan Bowen (1,277 words) [view diff] no match in snippet view article find links to article

Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the

David Turner (computer scientist) (836 words) [view diff] no match in snippet view article

David A. Turner (26 January 1946 – 19 October 2023) was a British computer scientist. He is best known for designing and implementing three programming

Carroll Morgan (computer scientist) (545 words) [view diff] no match in snippet view article

Charles Carroll Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens. He completed his education there (high

Ian Horrocks (1,040 words) [view diff] no match in snippet view article find links to article

Ian Robert Horrocks FRS is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses

Marta Kwiatkowska (1,306 words) [view diff] no match in snippet view article find links to article

Marta Zofia Kwiatkowska FRS MAE (born 1957) is a Polish theoretical computer scientist based in the United Kingdom. Kwiatkowska is Professor of Computing

Michael Butler (computer scientist) (270 words) [view diff] no match in snippet view article

Michael J. Butler is an Irish computer scientist. As of 2022, he is professor of computer science and Dean of the Faculty of Engineering and Physical Sciences

Zhou Chaochen (366 words) [view diff] no match in snippet view article find links to article

Zhou Chaochen (Chinese: 周巢尘; born 1 November 1937) is a Chinese computer scientist. Zhou was born in Nanhui, Shanghai, China. He studied as an undergraduate

Samson Abramsky (1,069 words) [view diff] no match in snippet view article find links to article

Samson Abramsky FRS FRSE (born 12 March 1953) is Professor of Computer Science at University College London. He was previously the Christopher Strachey

Georg Gottlob (1,054 words) [view diff] no match in snippet view article find links to article

Georg Gottlob FRS is an Austrian-Italian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor

Jean-Raymond Abrial (400 words) [view diff] no match in snippet view article find links to article

Jean-Raymond Abrial (born 6 November 1938) is a French computer scientist and inventor of the Z and B formal methods. Abrial was a student at the École

Martyn Thomas (547 words) [view diff] no match in snippet view article find links to article

Martyn Thomas CBE FREng FIET FRSA (born 1948) is a British independent consultant and software engineer. Martyn Thomas founded the software engineering

Jim Davies (computer scientist) (203 words) [view diff] no match in snippet view article

Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England. Jim Davies

Philip Wadler (1,036 words) [view diff] no match in snippet view article find links to article

Philip Lee Wadler (born April 8, 1956) FRS FRSE is a UK-based American computer scientist known for his contributions to programming language design and

He Jifeng (701 words) [view diff] no match in snippet view article find links to article

He Jifeng (simplified Chinese: 何积丰; traditional Chinese: 何積豐; pinyin: Hé Jīfēng, born August 1943) is a Chinese computer scientist. He Jifeng graduated

Jawed Siddiqi (482 words) [view diff] no match in snippet view article find links to article

Jawed Siddiqi FBCS is a Pakistani British computer scientist and software engineer. He is professor emeritus of software engineering at Sheffield Hallam

Cliff Jones (computer scientist) (664 words) [view diff] no match in snippet view article

Clifford "Cliff" B. Jones FREng (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil

Jim Woodcock (336 words) [view diff] no match in snippet view article find links to article

James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist. Woodcock gained his PhD from the University of Liverpool. Until 2001

Joe Stoy (207 words) [view diff] no match in snippet view article find links to article

Joseph E. Stoy is a British computer scientist. He initially studied physics at Oxford University. Early in his career, in the 1970s, he worked on denotational

Michael Spivey (228 words) [view diff] no match in snippet view article find links to article

Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford. Spivey was born in 1960 and educated at Archbishop

Andrew Martin (computer scientist) (206 words) [view diff] no match in snippet view article

Andrew Martin is a British computer scientist at the University of Oxford, England, where he is Professor of Systems Security, Director of the Centre for

Andrew Clive Simpson (158 words) [view diff] no match in snippet view article find links to article

Andrew Clive Simpson is a British Computer Scientist. He is Director of Studies, Software Engineering Programme at University of Oxford. He is Governing

Peter Mosses (184 words) [view diff] no match in snippet view article find links to article

Peter David Mosses (born 1948) is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went

Kevin Lano (439 words) [view diff] no match in snippet view article find links to article

Kevin C. Lano (born 1963) is a British computer scientist. Kevin Lano studied at the University of Reading, attaining a first class degree in Mathematics

G. Mike Reed (180 words) [view diff] no match in snippet view article find links to article

George Michael ("Mike") Reed is an American computer scientist. He has contributed to theoretical computer science in general and CSP in particular. Mike

Lincoln Wallen (278 words) [view diff] no match in snippet view article find links to article

Lincoln Wallen is a British computer scientist and the Chief Technology Officer (CTO) of Improbable. He is the former CTO of DreamWorks Animation. Wallen

Cas Cremers (442 words) [view diff] no match in snippet view article find links to article

Casimier Joseph Franciscus "Cas" Cremers (born 1974) is a computer scientist and a faculty member at the CISPA Helmholtz Center for Information Security

Steve Schneider (computer scientist) (244 words) [view diff] no match in snippet view article

Steve Schneider FBCS, CITP is an English computer scientist and Professor of Security. He is Director of the Surrey Centre for Cyber Security and Associate

Mark d'Inverno (804 words) [view diff] no match in snippet view article find links to article

Mark d'Inverno (born 29 August 1965) is a British computer scientist, currently a professor of Computer Science at Goldsmiths, University of London, in

Michael Goldsmith (computer scientist) (202 words) [view diff] no match in snippet view article

Michael Goldsmith (born 1959) is a British computer scientist, senior research fellow and Lecturer at the University of Oxford, England. He is a member

Ruby (hardware description language) (267 words) [view diff] no match in snippet view article

Geraint. "The Ruby relational design language". Department of Computer Science. University of Oxford. Retrieved 2020-04-27. Chen, Gang (2012). "A Short

Donald Knuth (5,762 words) [view diff] no match in snippet view article find links to article

Donald Ervin Knuth (/kəˈnuːθ/ kə-NOOTH; born January 10, 1938) is an American computer scientist and mathematician. He is a professor emeritus at Stanford

Ernst-Rüdiger Olderog (586 words) [view diff] no match in snippet view article find links to article

Ernst-Rüdiger Olderog (born 4 June 1955) is a German computer scientist. He is a full professor at the University of Oldenburg in Oldenburg, northern Germany

Paritosh Pandya (410 words) [view diff] no match in snippet view article find links to article

Paritosh K. Pandya is an Indian computer scientist based at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India. Since 2020, he is an adjunct

Luciano Floridi (2,644 words) [view diff] no match in snippet view article find links to article

Luciano Floridi (Italian: [floˈriːdi]; born 16 November 1964) is an Italian and British philosopher. He is the director of the Digital Ethics Center at

Stephen A. Jarvis (522 words) [view diff] no match in snippet view article find links to article

Stephen A. Jarvis is a British computer scientist and academic administrator. He is currently Provost and Vice-Principal at the University of Birmingham

Milner Award (899 words) [view diff] exact match in snippet view article find links to article

27 April 2021. "Marta Kwiatkowska – Biography". Department of Computer Science, University of Oxford. Archived from the original on 23 April 2021. Retrieved

Luca Cardelli (532 words) [view diff] no match in snippet view article find links to article

Scholar Cardelli, Luca (2021). "Luca Cardelli". Department of Computer Science. University of Oxford. Luca Cardelli at the Mathematics Genealogy Project

Leslie Ann Goldberg (438 words) [view diff] exact match in snippet view article find links to article

Goldberg became the Head of Department for the Department of Computer Science, University of Oxford in October 2021. Prior to working at Oxford, her

Quantum complex network (2,113 words) [view diff] exact match in snippet view article find links to article

(2003). "The logic of entanglement" (RR-03-12). Department of Computer Science, University of Oxford. arXiv:quant-ph/0402014. Bibcode:2004quant.ph..2014C