HOME

TheInfoList



OR:

The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science 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 imp ...
on 14 May 1937, though it did not get properly established until after World War II. The new laboratory was housed in the North Wing of the former Anatomy School, on the
New Museums Site The New Museums Site is a major site of the University of Cambridge, located on Pembroke Street and Free School Lane, sandwiched between Corpus Christi College, Pembroke College and Lion Yard. Its postcode is CB2 3QH. The smaller and older of ...
. 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 Diploma in Computer Science, originally known as the Diploma in Numerical Analysis and Automatic Computing, was a conversion course in computer science offered by the University of Cambridge. It is equivalent to a master's degree in present-day nom ...
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 in ...
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 Universit ...
(''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 EDSAC 2 was an early computer (operational in 1958), the successor to the Electronic Delay Storage Automatic Calculator (EDSAC). It was the first computer to have a microprogrammed control unit and a bit-slice hardware architecture. First cal ...
, the first microcoded and bitsliced computer, in 1958. In 1961, David Hartley developed
Autocode Autocode is the name of a family of "simplified coding systems", later called programming languages, devised in the 1950s and 1960s for a series of digital computers at the Universities of Manchester, Cambridge and London. Autocode was a generic ...
, 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 use, ...
s, for
EDSAC 2 EDSAC 2 was an early computer (operational in 1958), the successor to the Electronic Delay Storage Automatic Calculator (EDSAC). It was the first computer to have a microprogrammed control unit and a bit-slice hardware architecture. First cal ...
. Also in that year, proposals for Titan, 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 centre ...
, 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 The Cambridge Computer Lab Ring is a members' association for staff and graduates of the Cambridge University Computer Laboratory. It was formed in 2002 as a non-profit, independent and voluntary members’ association, but was absorbed into the C ...
, 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,
security Security is protection from, or resilience against, potential harm (or other unwanted coercive change) caused by others, by restraining the freedom of others to act. Beneficiaries (technically referents) of security may be of persons and social ...
,
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 soft ...
,
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 meth ...
,
formal semantics of programming languages In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. Semantics describes the processes ...
, computer architecture,
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,
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 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 world ...
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 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 borne ...
,
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.


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 John Gustav Daugman is a British-American professor of computer vision and pattern recognition at the University of Cambridge. His major research contributions have been in computational neuroscience, pattern recognition, and in computer vision ...
, 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 rest ...
Professor of machine learning # Cecilia Mascolo, Professor of Mobile Systems # Alan Mycroft, 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 * 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 of ...
*
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 *
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 in ...
* 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 in ...
* 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 Universit ...
– world's first practical stored program electronic computer (1949–1958) * Subroutine (1951) * OXO – world's first video game (1952) *
EDSAC 2 EDSAC 2 was an early computer (operational in 1958), the successor to the Electronic Delay Storage Automatic Calculator (EDSAC). It was the first computer to have a microprogrammed control unit and a bit-slice hardware architecture. First cal ...
(1958–1965) *
Autocode Autocode is the name of a family of "simplified coding systems", later called programming languages, devised in the 1950s and 1960s for a series of digital computers at the Universities of Manchester, Cambridge and London. Autocode was a generic ...
– 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 use, ...
s (1961) * Titan – early multi-user time-share computer (1964–1973) *
Phoenix Phoenix most often refers to: * Phoenix (mythology), a legendary bird from ancient Greek folklore * Phoenix, Arizona, a city in the United States Phoenix may also refer to: Mythology Greek mythological figures * Phoenix (son of Amyntor), a ...
– 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 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 – 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 refe ...
*
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 larger ...
* 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 we ...
– 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 peripheral ...
(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 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 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 Laborator ...
– 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 '' Elisabeth'' (ultimately Hebrew '' Elisheva''), Arising in the 12th century, it became popu ...
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's ow ...
,
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 Comput ...
, 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 The Cambridge Computer Lab Ring is a members' association for staff and graduates of the Cambridge University Computer Laboratory. It was formed in 2002 as a non-profit, independent and voluntary members’ association, but was absorbed into the C ...
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 Eben Christopher Upton (born 5 April 1978) is the Welsh CEO of Raspberry Pi (Trading) Ltd., which runs the engineering and trading activities of the Raspberry Pi Foundation. He is responsible for the overall software and hardware architectur ...
*
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 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 Michael Burrows, FRS (born 1963) is a British computer scientist and the creator of the Burrows–Wheeler transform, currently working for Google. Born in Britain, as of 2018 he lives in the United States, although he remains a British citizen. ...
* Andrew Herbert *
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