HOME

TheInfoList



OR:

The Department of Computer Science and Technology, formerly the Computer Laboratory, is the
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...
department of the
University of Cambridge , mottoeng = Literal: From here, light and sacred draughts. Non literal: From this place, we gain enlightenment and precious knowledge. , established = , other_name = The Chancellor, Masters and Schola ...
. it employed 35 academic staff, 25 support staff, 35 affiliated research staff, and about 155 research students. The current Head of Department is Professor Ann Copestake.


History

The Department was founded as the Mathematical Laboratory under the leadership of John Lennard-Jones on 14 May 1937, though it did not get properly established until after
World War II World War II or the Second World War, often abbreviated as WWII or WW2, was a world war that lasted from 1939 to 1945. It involved the World War II by country, vast majority of the world's countries—including all of the great power ...
. The new laboratory was housed in the North Wing of the former Anatomy School, on the New Museums Site. Upon its foundation, it was intended "to provide a computing service for general use, and to be a centre for the development of computational techniques in the University". The Cambridge Diploma in Computer Science was the world's first postgraduate taught course in computing, starting in 1953. In October 1946, work began under
Maurice Wilkes Sir Maurice Vincent Wilkes (26 June 1913 – 29 November 2010) was a British computer scientist who designed and helped build the Electronic Delay Storage Automatic Calculator (EDSAC), one of the earliest stored program computers, and who ...
on
EDSAC The Electronic Delay Storage Automatic Calculator (EDSAC) was an early British computer. Inspired by John von Neumann's seminal '' First Draft of a Report on the EDVAC'', the machine was constructed by Maurice Wilkes and his team at the Univer ...
(''Electronic Delay Storage Automatic Calculator''), which subsequently became the world's first fully operational and practical stored program computer when it ran its first program on 6 May 1949. It inspired the world's first business computer,
LEO Leo or Léo may refer to: Acronyms * Law enforcement officer * Law enforcement organisation * ''Louisville Eccentric Observer'', a free weekly newspaper in Louisville, Kentucky * Michigan Department of Labor and Economic Opportunity Arts an ...
. It was replaced by
EDSAC 2 EDSAC 2 was an early computer A computer is a machine that can be programmed to Execution (computing), carry out sequences of arithmetic or logical operations (computation) automatically. Modern digital electronic computers can perform gene ...
, the first microcoded and bitsliced computer, in 1958. In 1961, David Hartley developed Autocode, one of the first
high-level programming language In computer science, a high-level programming language is a programming language with strong abstraction from the details of the computer. In contrast to low-level programming languages, it may use natural language ''elements'', be easier to ...
s, for
EDSAC 2 EDSAC 2 was an early computer A computer is a machine that can be programmed to Execution (computing), carry out sequences of arithmetic or logical operations (computation) automatically. Modern digital electronic computers can perform gene ...
. Also in that year, proposals for
Titan Titan most often refers to: * Titan (moon), the largest moon of Saturn * Titans, a race of deities in Greek mythology Titan or Titans may also refer to: Arts and entertainment Fictional entities Fictional locations * Titan in fiction, fictiona ...
, based on the
Ferranti Atlas The Atlas Computer was one of the world's first supercomputers, in use from 1962 (when it was claimed to be the most powerful computer in the world) to 1972. Atlas' capacity promoted the saying that when it went offline, half of the United Ki ...
machine, were developed. Titan became fully operational in 1964 and EDSAC 2 was retired the following year. In 1967, a full ('24/7') multi-user time-shared service for up to 64 users was inaugurated on Titan. In 1970, the Mathematical Laboratory was renamed the Computer Laboratory, with separate departments for Teaching and Research and the Computing Service, providing computing services to the university and its colleges. The two did not fully separate until 2001, when the Computer Laboratory moved out to the new William Gates building in West Cambridge, off Madingley Road, leaving behind an independent Computing Service. In 2002, the Computer Laboratory launched the Cambridge Computer Lab Ring, a graduate society named after the
Cambridge Ring The term Cambridge Ring could refer to: * The Cambridge Ring (computer network) technology developed at the university of Cambridge, England * The Cambridge Five The Cambridge Spy Ring was a ring of spies in the United Kingdom that passed inform ...
network.


Current

On 30 June 2017, the
Cambridge University Reporter The ''Cambridge University Reporter'', founded in 1870, is the official journal of record of the University of Cambridge, England. Overview The ''Cambridge University Reporter'' appears within the University and online every Wednesday during ...
announced that the Computer Laboratory would change its name to the Department of Computer Science and Technology from 1 October 2017, to reflect the broadened scope of its purpose and activities. The Department currently offers a 3-year undergraduate course and a 1-year masters course (with a large selection of specialised courses in various research areas). Recent research has focused on virtualisation,
security" \n\n\nsecurity.txt is a proposed standard for websites' security information that is meant to allow security researchers to easily report security vulnerabilities. The standard prescribes a text file called \"security.txt\" in the well known locat ...
, usability, formal verification, formal semantics of programming languages,
computer architecture In computer engineering, computer architecture is a description of the structure of a computer system made from component parts. It can sometimes be a high-level description that ignores details of the implementation. At a more detailed level, the ...
,
natural language processing Natural language processing (NLP) is an interdisciplinary subfield of linguistics, computer science, and artificial intelligence concerned with the interactions between computers and human language, in particular how to program computers to proc ...
,
mobile computing Mobile computing is human–computer interaction in which a computer is expected to be transported during normal usage, which allows for the transmission of data, voice, and video. Mobile computing involves mobile communication, mobile hardware ...
,
wireless network A wireless network is a computer network that uses wireless data connections between network nodes. Wireless networking is a method by which homes, telecommunications networks and business installations avoid the costly process of introducing c ...
ing, biometric identification,
robotics Robotics is an interdisciplinarity, interdisciplinary branch of computer science and engineering. Robotics involves design, construction, operation, and use of robots. The goal of robotics is to design machines that can help and assist human ...
,
routing Routing is the process of selecting a path for traffic in a network or between or across multiple networks. Broadly, routing is performed in many types of networks, including circuit-switched networks, such as the public switched telephone netw ...
, positioning systems and
sustainability Specific definitions of sustainability are difficult to agree on and have varied in the literature and over time. The concept of sustainability can be used to guide decisions at the global, national, and individual levels (e.g. sustainable livin ...
(''"Computing for the future of the planet"''). Members have been involved in the creation of many successful UK IT companies such as
Acorn The acorn, or oaknut, is the nut of the oaks and their close relatives (genera '' Quercus'' and ''Lithocarpus'', in the family Fagaceae). It usually contains one seed (occasionally two seeds), enclosed in a tough, leathery shell, and bo ...
, ARM, nCipher and XenSource.


Staff


Professors

, the lab employed 19 professors. Notable ones include: #
Ross J. Anderson Ross John Anderson (born 15 September 1956) is a researcher, author, and industry consultant in security engineering. He is Professor of Security Engineering at the Department of Computer Science and Technology, University of Cambridge where ...
, Professor of Security Engineering #
Alan F. Blackwell Alan F. Blackwell (born 1962) is a New Zealand-British cognition scientist and professor at the Computer Laboratory, University of Cambridge, known for his work on diagrammatic representation, on data and language modelling, investment modelling, an ...
, Professor of Interdisciplinary Design # Ann Copestake, Professor of Computational Linguistics # Jon Crowcroft, Marconi Professor of Communications Systems # John Daugman, Professor of Computer Vision and Pattern Recognition #
Andy Hopper Sir Andrew Hopper (born 1953) is a British-Polish Computer Technologist and entrepreneur. He is treasurer and vice-president of the Royal Society, Professor of Computer Technology, former Head of the University of Cambridge Department of Compu ...
, Professor of Computer Technology # Neil Lawrence,
Deepmind DeepMind Technologies is a British artificial intelligence subsidiary of Alphabet Inc. and research laboratory founded in 2010. DeepMind was acquired by Google in 2014 and became a wholly owned subsidiary of Alphabet Inc, after Google's restru ...
Professor of machine learning #
Cecilia Mascolo Cecilia Mascolo is a Professor of Mobile Systems at the Department of Computer Science and Technology at the University of Cambridge, and a Fellow of Jesus College, Cambridge. Education Mascolo received her Bachelors, Masters and PhD in Co ...
, Professor of Mobile Systems # Alan Mycroft, Professor of Computing # Lawrence Paulson, Professor of Computational Logic #
Peter Robinson Peter Robinson may refer to: Entertainment * Peter Robinson (sideshow artist) (1873–1947), American actor and sideshow performer, known for his appearance in film ''Freaks'' (1932) * J. Peter Robinson (born 1945), British musician and film score ...
, Professor of Computer Technology Other notable staff include
Sue Sentance Susan Sentance is a British computer scientist, educator and director of the Raspberry Pi Foundation Computing Education Research Centre at the University of Cambridge. Her research investigates a wide range of issues computer science education, ...
, Robert Watson, Markus Kuhn.


Former staff

Former staff include: *
Jean Bacon Jean Bacon (born 1942) is a British emeritus professor of distributed systems at the Computer Laboratory at the University of Cambridge, where she co-headed the Opera Research Group from its founding in the 1990s. Previously, she taught at Hatf ...
* James Davenport * Andrew D. Gordon *
Philip Hazel Philip Hazel is a computer programmer best known for writing the Exim mail transport agent in 1995 and the PCRE regular expression library in 1997. He was employed by the University of Cambridge Computing Service until he retired at the end o ...
* Robin Milner * Roger Needham * Martin Richards * Karen Spärck Jones * David Wheeler *
Maurice Wilkes Sir Maurice Vincent Wilkes (26 June 1913 – 29 November 2010) was a British computer scientist who designed and helped build the Electronic Delay Storage Automatic Calculator (EDSAC), one of the earliest stored program computers, and who ...
* Neil Wiseman *
Neil Dodgson Neil Anthony Dodgson is Professor of Computer Graphics at the Victoria University of Wellington. He was previously (until 2016) Professor of Graphics and Imaging in the Computer Laboratory at the University of Cambridge in England, where he wo ...
* Mike Gordon


Heads of the Computer Laboratory

The lab has been led by: * 1949
Maurice Wilkes Sir Maurice Vincent Wilkes (26 June 1913 – 29 November 2010) was a British computer scientist who designed and helped build the Electronic Delay Storage Automatic Calculator (EDSAC), one of the earliest stored program computers, and who ...
* 1980 Roger Needham * 1996 Robin Milner * 1999 Ian Leslie * 2004
Andy Hopper Sir Andrew Hopper (born 1953) is a British-Polish Computer Technologist and entrepreneur. He is treasurer and vice-president of the Royal Society, Professor of Computer Technology, former Head of the University of Cambridge Department of Compu ...
* 2018 Ann Copestake


Achievements and innovations

Members have made impact in computers, Turing machines, microprogramming, subroutines, computer networks, mobile protocols, security, programming languages, kernels, OS, security, virtualisation, location badge systems, etc. Below is a list. *
EDSAC The Electronic Delay Storage Automatic Calculator (EDSAC) was an early British computer. Inspired by John von Neumann's seminal '' First Draft of a Report on the EDVAC'', the machine was constructed by Maurice Wilkes and his team at the Univer ...
– world's first practical stored program electronic computer (1949–1958) *
Subroutine In computer programming, a function or subroutine is a sequence of program instructions that performs a specific task, packaged as a unit. This unit can then be used in programs wherever that particular task should be performed. Functions ma ...
(1951) * OXO – world's first video game (1952) *
EDSAC 2 EDSAC 2 was an early computer A computer is a machine that can be programmed to Execution (computing), carry out sequences of arithmetic or logical operations (computation) automatically. Modern digital electronic computers can perform gene ...
(1958–1965) * Autocode – one of the first
high-level programming language In computer science, a high-level programming language is a programming language with strong abstraction from the details of the computer. In contrast to low-level programming languages, it may use natural language ''elements'', be easier to ...
s (1961) *
Titan Titan most often refers to: * Titan (moon), the largest moon of Saturn * Titans, a race of deities in Greek mythology Titan or Titans may also refer to: Arts and entertainment Fictional entities Fictional locations * Titan in fiction, fictiona ...
– early multi-user time-share computer (1964–1973) * Phoenix – IBM 370 with locally developed OS and hardware extensions (1973–1995) *
TRIPOS At the University of Cambridge, a Tripos (, plural 'Triposes') is any of the examinations that qualify an undergraduate for a bachelor's degree or the courses taken by a student to prepare for these. For example, an undergraduate studying mathe ...
operating system – became later the basis for AmigaDOS * BCPL programming language – ancestor of C * CAP computer – hardware support for capability-based security *
Cambridge Ring The term Cambridge Ring could refer to: * The Cambridge Ring (computer network) technology developed at the university of Cambridge, England * The Cambridge Five The Cambridge Spy Ring was a ring of spies in the United Kingdom that passed inform ...
– an early local area network * Cambridge Distributed Computing System * Trojan Room coffee pot – the world's first
webcam A webcam is a video camera which is designed to record or stream to a computer or computer network. They are primarily used in videotelephony, livestreaming and social media, and security. Webcams can be built-in computer hardware or periphera ...
(1993) * Iris recognitionbiometric identification with vanishingly small false-accept rate * Nemesis – real-time microkernel OS * Active Badge System –url="http://www.cl.cam.ac.uk/research/dtg/attarchive/ab.html " *
Active Bat Active Bat is a low-power, wireless indoor location system accurate up to 3  cm. It is based on a principle of trilateration, and relies on multiple ultrasonic receivers embedded in the ceiling and measures time-of-flight to them. Active Bat ...
– ultrasonic indoor positioning system * Xen – virtual machine monitor (2003–''present'') * Isabelle and
HOL Hol is a municipality in Viken county, Norway. Administrative history The area of Hol was separated from the municipality Ål in 1877 to become a separate municipality. In 1937 a part of neighboring Uvdal with 220 inhabitants moved to Hol municip ...
– interactive theorem provers


Impact on business enterprise

A number of companies have been founded by staff and graduates. Their names were featured in the new entrance in 2012. Some cited examples of successful companies are ARM, Autonomy, Aveva, CSR and
Domino Dominoes is a family of tile-based games played with gaming pieces, commonly known as dominoes. Each domino is a rectangular tile, usually with a line dividing its face into two square ''ends''. Each end is marked with a number of spots (also ca ...
. One common factor they share is that key staff or founder members are "drenched in university training and research". The Cambridge Computer Lab Ring was praised for its "tireless work" by
Andy Hopper Sir Andrew Hopper (born 1953) is a British-Polish Computer Technologist and entrepreneur. He is treasurer and vice-president of the Royal Society, Professor of Computer Technology, former Head of the University of Cambridge Department of Compu ...
in 2012, at its tenth anniversary dinner.


Notable alumni (industries)

* Demis Hassabis * Eben Upton *
Bjarne Stroustrup Bjarne Stroustrup (; ; born 30 December 1950) is a Danish computer scientist, most notable for the invention and development of the C++ programming language. As of July 2022, Stroustrup is a professor of Computer Science at Columbia Universit ...
* John Bates * Ian Pratt * Simon Crosby * David L Tennenhouse * Michael Burrows * Andrew Herbert * Andy Harter *
Andy Hopper Sir Andrew Hopper (born 1953) is a British-Polish Computer Technologist and entrepreneur. He is treasurer and vice-president of the Royal Society, Professor of Computer Technology, former Head of the University of Cambridge Department of Compu ...


References

{{Authority control Cambridge Computer Laboratory Cambridge Computer Laboratory Computer Science and Technology, Department of Computer Science and Technology, Department of History of computing in the United Kingdom Cambridge Computer Laboratory