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, 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 ...
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, 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 ...
, computer architecture,
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 ...
ing, biometric identification,
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 ...
, ARM, and XenSource.


Staff


Professors

, 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 ...
, Professor of Computational Logic Other notable staff include Sue Sentance, Robert Watson, Markus Kuhn.


Former staff

Former staff include: * Ross J. Anderson, * Jean Bacon * James Davenport *
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 ...
* Andy Hopper *
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 ...
* Peter Robinson, * Karen Spärck Jones * David Wheeler *
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 ...
* 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 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 ...
* 1980 Roger Needham * 1996
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 ...
biometric identification with vanishingly small false-accept rate *
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 ...
, Aveva, CSR and
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.


Notable alumni (industries)

* Demis Hassabis * Eben Upton * Bjarne Stroustrup * John Bates * Ian Pratt * David L Tennenhouse *
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 ...
* Andrew Herbert * Andy Harter * Andy Hopper * Spencer Kelly


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