HOME





Oxford University Computing Laboratory
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, University of Oxford, Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. By 2014 the staff count was 52 members of academic staff and over 80 research staff. The 2019, 2020 and 2021 Times World University Subject Rankings places Oxford University 1st in the world for Computer Science. Oxford University is also the top university for computer science in the UK and Europe according to Business Insider. The 2020 QS University Subject Rankings places The University of Oxford 5th in the world (with the University of Cambridge placing 6th) for Computer Science. Teaching From its foundation the department taught undergraduates reading for mathematics and engineering degrees, but in 1985 the department's first undergraduate course was established, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

University Of Oxford
The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest universities in continuous operation, second-oldest continuously operating university globally. It expanded rapidly from 1167, when Henry II of England, Henry II prohibited English students from attending the University of Paris. When disputes erupted between students and the Oxford townspeople, some Oxford academics fled northeast to Cambridge, where they established the University of Cambridge in 1209. The two English Ancient university, ancient universities share many common features and are jointly referred to as ''Oxbridge''. The University of Oxford comprises 43 constituent colleges, consisting of 36 Colleges of the University of Oxford, semi-autonomous colleges, four permanent private halls and three societies (colleges that are depar ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Royal Society
The Royal Society, formally The Royal Society of London for Improving Natural Knowledge, is a learned society and the United Kingdom's national academy of sciences. The society fulfils a number of roles: promoting science and its benefits, recognising excellence in science, supporting outstanding science, providing scientific advice for policy, education and public engagement and fostering international and global co-operation. Founded on 28 November 1660, it was granted a royal charter by Charles II of England, King Charles II and is the oldest continuously existing scientific academy in the world. The society is governed by its Council, which is chaired by the society's president, according to a set of statutes and standing orders. The members of Council and the president are elected from and by its Fellows, the basic members of the society, who are themselves elected by existing Fellows. , there are about 1,700 fellows, allowed to use the postnominal title FRS (Fellow ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Marina Jirotka
Marina Denise Anne Jirotka is professor of human-centered computing at the University of Oxford, director of thResponsible Technology Institute governing body fellow at St Cross College, board member of the Society for Computers and Law and a research associate at the Oxford Internet Institute. She leads a team that works on responsible innovation, in a range of ICT fields including robotics, AI, machine learning, quantum computing, social media and the digital economy. She is known for her work with Alan Winfield on the 'Ethical Black Box'. A proposal that robots using AI should be fitted with a type of inflight recorder, similar to those used by aircraft, to track the decisions and actions of the AI when operating in an uncontrolled environment and to aid in post-accident investigations. Education Jirotka obtained her BSc in psychology and social anthropology from Goldsmiths College in 1985 and her Master's in Computing and Artificial Intelligence from the University of South ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Michael Wooldridge (computer Scientist)
Michael John Wooldridge (born 26 August 1966) is a professor of computer science at the University of Oxford. His main research interests is in multi-agent systems, and in particular, in the computational theory aspects of rational action in systems composed of multiple self-interested agents. His work is characterised by the use of techniques from computational logic, game theory, and social choice theory. Education Wooldridge was educated at Wolverhampton Polytechnic where he gained a BSc in 1989 and the University of Manchester Institute of Science and Technology (UMIST) where he was awarded a PhD in 1991 for research supervised by Gregory O'Hare. Career and research Wooldridge was appointed a lecturer in Computer Science at the Manchester Metropolitan University in 1992. In 1996, he moved to London, where he became senior lecturer at Queen Mary and Westfield College in 1998. His appointment as full professor in the Department of Computer Science at the University of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Bill Roscoe
Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and was a Professor of Computer Science. He was also Fellow of University College, Oxford until 2024. Education and career Roscoe was born in Dundee, Scotland. He studied for a degree in mathematics at University College, Oxford, from 1975 to 1978, graduating with the top mark for his year in the university. He went on to work at the Computing Laboratory and received his DPhil in 1982. He was appointed Tutorial Fellow at University College in 1983 and served as Senior Tutor from 1993 to 1997. He was head of the Department of Computer Science 2003-08 and 2009–14. In 2024, a lecture theatre in the Department of Computer Science was named after Roscoe. Research Professor Roscoe works in the area of concurrency theory, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam pr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Gavin Lowe (computer Scientist)
Gavin Lowe is a British academic. He is a professor of computer science and tutorial fellow at St Catherine's College, Oxford, a professor at the University of Oxford, and President (corporate title), President of the Senior Common Room of St Catherine's College, Oxford. His research interests include computer security, for which he developed the cryptographic protocol analysis tool Casper (software), Casper, and Concurrency (computer science), concurrency. Education Lowe studied mathematics as an undergraduate at St John's College, Oxford, then took an MSc in computation at the University of Oxford. He undertook a DPhil at St Hugh's College, Oxford, writing a thesis titled ''Probabilities and Priorities in Timed CSP''. He published a paper detailing an attack on the Needham–Schroeder protocol, as well as a method to fix the issue, in 1995. The fixed version of the protocol described in the paper is referred to as the Needham–Shroeder–Lowe protocol. Career His research ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Marta Kwiatkowska
Marta Zofia Kwiatkowska (born 1957) is a Polish theoretical computer scientist based in the United Kingdom. Kwiatkowska is Professor of Computing Systems in the Department of Computer Science at the University of Oxford, England, and a Fellow of Trinity College, Oxford. Her research focuses on developing modelling and automated verification techniques for computing systems in order to guarantee safe, secure, reliable, timely and resource-efficient operation. Education Kwiatkowska received her Bachelor of Science and Master of Science degrees in Computer Science with distinction summa cum laude from Jagiellonian University in Kraków, Poland. She obtained her PhD in Computer Science from the University of Leicester in 1989. Career and research After obtaining her PhD, Kwiatkowska was assistant professor at Jagiellonian University, (1980–1988); research scholar and lecturer in Computer Science at University of Leicester (1984–1994); and lecturer in Computer Science, rea ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Daniel Kroening
Daniel Kroening (born 6 November 1975) is a German computer scientist, Professor in computer science at the University of Oxford, and Chief Science Officer at the company he co-founded, Diffblue Ltd. He is a fellow of Magdalen College. Early life Kroening was born in Mainz, Rhineland-Palatinate, Germany. He attended Marie-Therese-Gymnasium, Erlangen, Bavaria from 1986 to 1990 and Rotenbühl Gymnasium, Saarbrücken, Saarland from 1990 to 1995. Kroening's early work in those highschool years includes implementations of data transfer protocols and a bulletin board system (BBS) software package with Internet access management for small ISPs, which he released under free/open source licenses. In 1992, Kroening joined Handshake e.V., a local non-profit ISP. From 1993, he hosted and operated Handshake's main BBS system and by the end of 1994, it was running his software. Since 1996, he was also involved in Handshake's executive management. After high school, Kroening completed his compul ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Ian Horrocks
Ian Robert Horrocks One or more of the preceding sentences incorporates text from the royalsociety.org website where: is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures. Education Horrocks completed his Bachelor of Science (BSc), Master of Science (MSc) and PhD degrees in the Department of Computer Science at the University of Manchester. Research and career After several years as a lecturer, senior lecturer, reader then Professor in Manchester, Horrocks moved to the University of Oxford in 2008. His work on tableau reasoning for very expressive description logics has formed the basis of most description logic reasoning systems in use today, including Racer, FaCT++, HermiT and Pellet. Horrocks was jointly responsible for development of the OIL and DAML+OIL o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Tony Hoare
Sir Charles Antony Richard Hoare (; born 11 January 1934), also known as C. A. R. Hoare, is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980. Hoare developed the sorting algorithm quicksort in 1959–1960. He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem. Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge. Education and early life Tony Hoare was born in Colombo, Ceylon (now Sri Lanka) to British parents; his father was a colonial ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Georg Gottlob
Georg Gottlob FRS is an Austrian-Italian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Calabria. He was Professor at the University of Oxford. Education Gottlob obtained his undergraduate and PhD degrees in computer science at Vienna University of Technology in 1981. Career and research Gottlob is currently a chaired professor at the University of Calabria in Italy where he joined in 2023 due to the "Fantastic Équipe and great potential". Until then, he was a professor of computing science at the Oxford University Department of Computer Science, where he helped establish the information systems research group. He is also a Fellow of St John's College, Oxford. Previously, he was a professor of computer science at Vienna University of Technology, where he still maintains an adjunct position. He was elected a member of the Royal Society in May 2010. He is a founding member of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Jeremy Gibbons
Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford. Academic Professor Gibbons obtained a Bachelor of Science (BSc) (Hons) in computer science from the University of Edinburgh (1983–1987), and a Doctor of Philosophy (DPhil) in Computation from the University of Oxford (1987–1991). Before taking his current post, he was, first, lecturer in computer science, University of Auckland (1991–1996), next, lecturer and senior lecturer in computing, Oxford Brookes University (1996–1999), and then reader in software engineering at the University of Oxford. His research activities include programming languages and methods; functional programming; generic programming; object technology; program specification, derivation and transformation. His cu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]