The Department of Computer Science and Technology, formerly the Computer Laboratory, is the
computer science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...
department of the
University of Cambridge
The University of Cambridge is a Public university, public collegiate university, collegiate research university in Cambridge, England. Founded in 1209, the University of Cambridge is the List of oldest universities in continuous operation, wo ...
. it employed 56 faculty members, 45 support staff, 105 research staff, and about 205 research students. The current Head of Department is Professor Alastair Beresford.
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 (1 September 1939 – 2 September 1945) was a World war, global conflict between two coalitions: the Allies of World War II, Allies and the Axis powers. World War II by country, Nearly all of the wo ...
. 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
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 an English computer scientist who designed and helped build the EDSAC, Electronic Delay Storage Automatic Calculator (EDSAC), one of the earliest stored-program computers, and ...
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 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 bit-sliced computer, in 1958.
In 1961, David Hartley developed Autocode, one of the first
high-level programming language
A high-level programming language is a programming language with strong Abstraction (computer science), abstraction from the details of the computer. In contrast to low-level programming languages, it may use natural language ''elements'', be ea ...
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, off Madingley Road, leaving behind an independent Computing Service.
In 2002, the Computer Laboratory launched the Cambridge Computer Lab Ring, a graduate society designed by Stephen Allott 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, England
England is a Co ...
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 coercion). Beneficiaries (technically referents) of security may be persons and social groups, objects and institutions, ecosystems, or any other entity or ...
,
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 softw ...
,
formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics.
Formal ver ...
,
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 string (computer science), strings in a programming language syntax. It is cl ...
natural language processing
Natural language processing (NLP) is a subfield of computer science and especially artificial intelligence. It is primarily concerned with providing computers with the ability to process data encoded in natural language and is thus closely related ...
,
mobile computing
Mobile computing is human–computer interaction in which a computer is expected to be transported during normal usage and allow for transmission of data, which can include voice and video transmissions. Mobile computing involves mobile commun ...
,
wireless network
A wireless network is a computer network that uses wireless data connections between network nodes. Wireless networking allows homes, telecommunications networks, and business installations to avoid the costly process of introducing cables int ...
robotics
Robotics is the interdisciplinary study and practice of the design, construction, operation, and use of robots.
Within mechanical engineering, robotics is the design and construction of the physical structures of robots, while in computer s ...
,
routing
Routing is the process of selecting a path for traffic in a Network theory, 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 ...
,
positioning system
A positioning system is a system for determining the position of an object in space. Positioning system technologies exist ranging from interplanetary coverage with meter accuracy to workspace and laboratory coverage with sub-millimeter accuracy. ...
s and
sustainability
Sustainability is a social goal for people to co-exist on Earth over a long period of time. Definitions of this term are disputed and have varied with literature, context, and time. Sustainability usually has three dimensions (or pillars): env ...
(''"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 is the nut (fruit), nut of the oaks and their close relatives (genera ''Quercus'', ''Notholithocarpus'' and ''Lithocarpus'', in the family Fagaceae). It usually contains a seedling surrounded by two cotyledons (seedling leaves), en ...
, the department employs 34 professors. Notable ones include:
* Alan F. Blackwell, Professor of Interdisciplinary Design
* Ann Copestake, Professor of Computational Linguistics
* Jon Crowcroft, Marconi Professor of Communications Systems
* Hatice Gunes, Professor of Affective Intelligence and Robotics
* Neil Lawrence,
Deepmind
DeepMind Technologies Limited, trading as Google DeepMind or simply DeepMind, is a British–American artificial intelligence research laboratory which serves as a subsidiary of Alphabet Inc. Founded in the UK in 2010, it was acquired by Go ...
Professor of Machine learning
* Anil Madhavapeddy, Professor of Planetary Computing
* Cecilia Mascolo, Professor of Mobile Systems
*
Lawrence Paulson
Lawrence Charles Paulson 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 California ...
Andrew D. Gordon
Andrew D. Gordon is a British computer scientist employed by software synthesis company Cogna as Chief Science Officer, and by the University of Cambridge. Formerly, he worked for Microsoft Research. His research interests include programming l ...
*
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 did undergraduate studies at the University of Cape Town and went to the University of Cam ...
Robin Milner
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.Alan Mycroft
* Roger Needham
*
Martin Richards Martin Richards may refer to:
* Martin Richards (computer scientist)
Martin Richards (born 21 July 1940) is a British computer scientist known for his development of the BCPL programming language which is both part of early research into porta ...
Maurice Wilkes
Sir Maurice Vincent Wilkes (26 June 1913 – 29 November 2010) was an English computer scientist who designed and helped build the EDSAC, Electronic Delay Storage Automatic Calculator (EDSAC), one of the earliest stored-program computers, and ...
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 plays banjo, piano, and guitar. He is a filmmaker ('' Rising Low'', '' Outs ...
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 an English computer scientist who designed and helped build the EDSAC, Electronic Delay Storage Automatic Calculator (EDSAC), one of the earliest stored-program computers, and ...
Robin Milner
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.Andy Hopper
* 2018 Ann Copestake
* 2023 Alastair Beresford
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
In computer programming, a function (also procedure, method, subroutine, routine, or subprogram) is a callable unit of software logic that has a well-defined interface and behavior and can be invoked multiple times.
Callable units provide a ...
(1951)
* OXO – world's first video game (1952)
* EDSAC 2 (1958–1965)
* Autocode – one of the first
high-level programming language
A high-level programming language is a programming language with strong Abstraction (computer science), abstraction from the details of the computer. In contrast to low-level programming languages, it may use natural language ''elements'', be ea ...
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
TRIPOS (''TRIvial Portable Operating System'') is a computer operating system. Development started in 1976 at the Computer Laboratory of Cambridge University and it was headed by Dr. Martin Richards. The first version appeared in January 1978 a ...
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 (computing), redirection.
In AmigaOS 1.x, AmigaDOS is based on a TRIPOS port by ...
*
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 f ...
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 ref ...
*
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, England
England is a Co ...
– 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, campus, or building, and has its network equipment and interconnects locally managed. LANs facilitate the distribution of da ...
*
Cambridge Distributed Computing System
The Cambridge Distributed Computing System is an early discontinued distributed operating system, developed in the 1980s at Cambridge University. It grew out of the Cambridge Ring local area network, which it used to interconnect computers.
The ...
*
Trojan Room coffee pot
The Trojan Room coffee pot was a coffee machine located in the University of Cambridge Computer Laboratory, Computer Laboratory of the University of Cambridge, England. It was the subject of the world's first webcam, created by Quentin Stafford ...
– 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, video telephony, live streaming and social media, and Closed-circuit television, security. Webcams can b ...
(1993)
*
Iris recognition
Iris recognition is an automated method of biometrics, biometric identification that uses mathematical pattern-recognition techniques on video images of one or both of the iris (anatomy), irises of an individual's Human eye, eyes, whose complex ...
Nemesis
In ancient Greek religion and myth, Nemesis (; ) also called Rhamnousia (or Rhamnusia; ), was the goddess who personified retribution for the sin of hubris: arrogance before the gods.
Etymology
The name ''Nemesis'' is derived from the Greek ...
– 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 and HOL – interactive theorem provers
* CAD - Alan Grayer, Charles Lang and Ian Braid were researchers who left the department to found
Shape Data
Shape Data Limited is a computer software company in Cambridge, England that specialises in developing programs for engineering and manufacturing professionals.
Overview
Established in 1974 by several doctoral students of the University of ...
, develop the
Romulus
Romulus (, ) was the legendary founder and first king of Rome. Various traditions attribute the establishment of many of Rome's oldest legal, political, religious, and social institutions to Romulus and his contemporaries. Although many of th ...
CAD kernel and later the ACIS kernel that forms the basis of several modern CAD systems. Shape Data went on to develop
Parasolid
Parasolid is a geometric modeling kernel originally developed by Shape Data Limited, now owned and developed by Siemens Digital Industries Software. It can be licensed by other companies for use in their 3D computer graphics software product ...
, which is used in many modern CAD systems.
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
In developmental psychology and moral, political, and bioethical philosophy, autonomy is the capacity to make an informed, uncoerced decision. Autonomous organizations or institutions are independent or self-governing. Autonomy can also be ...
Domino
Dominoes is a family of tile-based games played with gaming pieces. 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 called '' pips'' or ''dots'' ...
. 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 in 2012, at its tenth anniversary dinner.
Michael Burrows Michael Burrows may refer to:
* Michael Burrows (computer scientist), British computer scientist
* Michael Burrows (artist), Australian singer-songwriter
*Michael Burrows (bishop)
Michael Andrew James Burrows (born 1961) is a bishop in the Church ...