Cambridge Computer Lab
   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 Applied science, practical discipli ...
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 Sir John Edward Lennard-Jones (27 October 1894 – 1 November 1954) was a British mathematician and professor of theoretical physics at the University of Bristol, and then of theoretical science at the University of Cambridge. He was an im ...
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 i ...
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 A stored-program computer is a computer that stores program instructions in electronically or optically accessible memory. This contrasts with systems that stored the program instructions with plugboards or similar mechanisms. The definition ...
computer when it ran its first program on 6 May 1949. It inspired the world's first business computer, LEO. It was replaced by EDSAC 2, 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 u ...
s, for EDSAC 2. 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 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 West Cambridge is a university site to the west of Cambridge city centre in England. As part of the ''West Cambridge Master Plan'', several of the University of Cambridge's departments have relocated to the West Cambridge site from the cent ...
, off
Madingley Road Madingley Road is a major arterial road linking central Cambridge, England with Junction 13 of the M11 motorway. It passes by West Cambridge, a major new site where some University of Cambridge departments are being relocated. The road is design ...
, 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 espionage ring. * The inner ring-road of Cambridge Cambridge ( ) is a universi ...
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 In computing, virtualization or virtualisation (sometimes abbreviated v12n, a numeronym) is the act of creating a virtual (rather than actual) version of something at the same abstraction level, including virtual computer hardware platforms, stor ...
,
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 Usability can be described as the capacity of a system to provide a condition for its users to perform the tasks safely, effectively, and efficiently while enjoying the experience. In software engineering, usability is the degree to which a sof ...
,
formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal met ...
, 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 ...
ing,
biometric identification Biometrics are body measurements and calculations related to human characteristics. Biometric authentication (or realistic authentication) is used in computer science as a form of identification and access control. It is also used to identify in ...
,
robotics Robotics is an 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 humans. Robotics integrat ...
,
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 system A positioning system is a system for determining the position of an object in space. One of the most well-known and commonly used positioning systems is the Global Positioning System (GPS). Positioning system technologies exist ranging from worl ...
s 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 livi ...
(''"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 b ...
,
ARM In human anatomy, the arm refers to the upper limb in common usage, although academically the term specifically means the upper arm between the glenohumeral joint (shoulder joint) and the elbow joint. The distal part of the upper limb between th ...
, nCipher and
XenSource Xen (pronounced ) is a type-1 hypervisor, providing services that allow multiple computer operating systems to execute on the same computer hardware concurrently. It was originally developed by the University of Cambridge Computer Laboratory a ...
.


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 whe ...
, Professor of Security Engineering # Alan F. Blackwell, 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 Neil David Lawrence is the DeepMind Professor of Machine Learning at the University of Cambridge in the Department of Computer Science and Technology, senior AI fellow at the Alan Turing Institute and visiting professor at the University of Sh ...
,
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 Comp ...
, Professor of Mobile Systems #
Alan Mycroft Alan Mycroft is a professor at the Computer Laboratory, University of Cambridge and a Fellow of Robinson College, Cambridge, where he is also director of studies for computer science. Education Mycroft read mathematics at Cambridge then moved ...
, Professor of Computing #
Lawrence Paulson Lawrence Charles Paulson (born 1955) is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge. Education Paulson graduated from the ...
, Professor of Computational Logic # Peter Robinson, 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 Ha ...
* James Davenport * Andrew D. Gordon * Philip Hazel *
Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.
*
Roger Needham Roger Michael Needham (9 February 1935 – 1 March 2003) was a British computer scientist. Early life and education Needham was born in Birmingham, England, the only child of Phyllis Mary, ''née'' Baker (''c''.1904–1976) and Leonard Wil ...
*
Martin Richards Martin Richards may refer to: * Martin Richards (computer scientist) (born 1940), British computer scientist * Martin Richards (police officer) (born 1959), British chief constable * Martin Richards (producer) Martin Richards (born Morton Richa ...
*
Karen Spärck Jones Karen Sparck Jones is a computer science researcher and innovator who pioneered the search engine algorithm known as inverse document frequency (IDF). While many early information scientists and computer engineers were focused on developing progr ...
* 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 i ...
* Neil Wiseman * Neil Dodgson *
Mike Gordon Michael Eliot Gordon (born June 3, 1965) is an American bass guitarist and vocalist most recognized as a founding member of the band Phish. In addition to bass, Gordon is an accomplished banjo player, and is proficient at piano and guitar. He ...


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 i ...
* 1980
Roger Needham Roger Michael Needham (9 February 1935 – 1 March 2003) was a British computer scientist. Early life and education Needham was born in Birmingham, England, the only child of Phyllis Mary, ''née'' Baker (''c''.1904–1976) and Leonard Wil ...
* 1996
Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.
* 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 may ...
(1951) * OXO – world's first video game (1952) * EDSAC 2 (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 u ...
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 mat ...
operating system – became later the basis for
AmigaDOS AmigaDOS is the disk operating system of the AmigaOS, which includes file systems, file and directory manipulation, the command-line interface, and file redirection. In AmigaOS 1.x, AmigaDOS is based on a TRIPOS port by MetaComCo, written in ...
*
BCPL BCPL ("Basic Combined Programming Language") is a procedural, imperative, and structured programming language. Originally intended for writing compilers for other languages, BCPL is no longer in common use. However, its influence is still ...
programming language – ancestor of C *
CAP computer The Cambridge CAP computer was the first successful experimental computer that demonstrated the use of security capabilities, both in hardware and software.Levy, p.96 It was developed at the University of Cambridge Computer Laboratory in the 1 ...
– hardware support for
capability-based security Capability-based security is a concept in the design of secure computing systems, one of the existing security models. A capability (known in some systems as a key) is a communicable, unforgeable token of authority. It refers to a value that refer ...
*
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 espionage ring. * The inner ring-road of Cambridge Cambridge ( ) is a universi ...
– an early
local area network A local area network (LAN) is a computer network that interconnects computers within a limited area such as a residence, school, laboratory, university campus or office building. By contrast, a wide area network (WAN) not only covers a large ...
* Cambridge Distributed Computing System *
Trojan Room coffee pot The Trojan Room coffee pot was a coffee machine located in the Computer Laboratory of the University of Cambridge, England. Created in 1991 by Quentin Stafford-Fraser and Paul Jardetzky, it was migrated from their laboratory network to the web ...
– 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 peripher ...
(1993) *
Iris recognition Iris recognition is an automated method of biometric identification that uses mathematical pattern-recognition techniques on video images of one or both of the irises of an individual's eyes, whose complex patterns are unique, stable, and can ...
biometric identification Biometrics are body measurements and calculations related to human characteristics. Biometric authentication (or realistic authentication) is used in computer science as a form of identification and access control. It is also used to identify in ...
with vanishingly small false-accept rate *
Nemesis In ancient Greek religion, Nemesis, also called Rhamnousia or Rhamnusia ( grc, Ῥαμνουσία, Rhamnousía, the goddess of Rhamnous), was the goddess who personifies retribution, a central concept in the Greek world view. Etymology The ...
– real-time microkernel OS * Active Badge System –url="http://www.cl.cam.ac.uk/research/dtg/attarchive/ab.html " * Active Bat – ultrasonic indoor positioning system * Xen – virtual machine monitor (2003–''present'') *
Isabelle Isabel is a female name of Spanish origin. Isabelle is a name that is similar, but it is of French origin. It originates as the medieval Spanish form of ''Elizabeth (given name), Elisabeth'' (ultimately Hebrew ''Elisheba, Elisheva''), Arising in ...
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 munic ...
– 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 In human anatomy, the arm refers to the upper limb in common usage, although academically the term specifically means the upper arm between the glenohumeral joint (shoulder joint) and the elbow joint. The distal part of the upper limb between th ...
,
Autonomy In developmental psychology and moral, political, and bioethical philosophy, autonomy, from , ''autonomos'', from αὐτο- ''auto-'' "self" and νόμος ''nomos'', "law", hence when combined understood to mean "one who gives oneself one' ...
,
Aveva AVEVA Group plc is a British multinational information technology consulting company headquartered in Cambridge, England. It is listed on the London Stock Exchange and is a constituent of the FTSE 100 Index. The company started as the Comp ...
, 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 c ...
. 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 Demis Hassabis (born 27 July 1976) is a British artificial intelligence researcher and entrepreneur. In his early career he was a video game AI programmer and designer, and an expert player of board games. He is the chief executive officer and ...
* 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 University ...
* John Bates * Ian Pratt *
Simon Crosby Simon Crosby is Co-founder and CTO of security software vendor Bromium Inc. and was a faculty member at the University of Cambridge, UK. Career Simon Crosby, Ph.D., is CTO at SWIM.AI, a continuous intelligence software vendor that focuses on ...
* David L Tennenhouse * Michael Burrows *
Andrew Herbert Andrew James Herbert, OBE, FREng (born 1954) is a British computer scientist, formerly Chairman of Microsoft Research, for the Europe, Middle East and Africa region. Biography Herbert received a bachelor's of science degree in computational ...
*
Andy Harter Andrew Charles Harter (born 1961 in Yorkshire, England) is a British computer scientist, best known as the founder of RealVNC, where he was CEO until March 2018. Education and early life Born in Yorkshire in 1961, Harter attended the Queen El ...
*
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