Department of Computer Science and Technology, University of Cambridge

Template:Short description Template:EngvarBTemplate:Use dmy dates {{#invoke:Infobox|infobox}}Template:Template otherTemplate:Main other{{#if:University of Cambridge Computer Laboratory.jpg|Template:Main other }}{{#if:|Template:Main other }}{{#if:|Template:Main other }}{{#invoke:check for unknown parameters|check |unknown=Template:Main other|preview=Page using Template:Infobox university with unknown parameter "_VALUE_"|ignoreblank=y | academic_affiliation | academic_affiliations | academic_staff | accreditation | address | administrative_staff | affiliation | affiliations | athletics_affiliations | athletics_nickname | athletics_nicknames | budget | campus | campus_type | campus_size | canton | caption | chair | chairman | chairperson | chancellor | city | closed | colors | colours | coor | coordinates | country | dean | director | doctoral | embedded | endowment | enrollment | established | faculty | footnotes | former_name | former_names | founder | founders | free | free1 | free2 | free_label | free_label1 | free_label2 | head | head_label | image | image_alt | image_name | image_size | image_upright | language | latin_name | location | logo | logo_alt | logo_size | logo_upright | map_size | mascot | mascots | module | motto | mottoeng | motto_lang | mottoeng | name | native_name | native_name_lang | nickname | nrhp | officer_in_charge | other | other_name | other_names | other_students | parent | postalcode | postcode | postgrad | prefecture | president | principal | province | provost | pushpin_label_position | pushpin_map | pushpin_map_caption | rector | region | religious_affiliation | sporting_affiliations | sports_free | sports_free1 | sports_free2 | sports_free3 | sports_free_label | sports_free_label1 | sports_free_label2 | sports_free_label3 | sports_nickname | sports_nicknames | state | students | superintendent | top_free | top_free1 | top_free2 | top_free_label | top_free_label1 | top_free_label2 | total_staff | type | undergrad | vice_chancellor | vice-president | vice_president | visitor | website | zipcode }}{{#invoke:Check for clobbered parameters|check | template = Infobox university | cat = Template:Main other | image; image_name | other_names; other_name | former_names; former_name | founders; founder | academic_affiliations; academic_affiliation | academic_staff; faculty | campus_type; campus | other_students; other | location; address | location; city | location; address | location; canton | location; prefecture | location; province | location; region | location; state | location; country | location; postalcode | location; postcode | location; zipcode | postalcode; postcode; zipcode | coordinates; coor | colors; colours | free_label; free_label1 | free; free1 | athletics_nicknames; sports_nicknames; athletics_nickname; sports_nickname; nickname | athletics_affiliations; sporting_affiliations | affiliation; affiliations | mascots; mascot | nrhp; embedded; module }}

The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science department of the University of Cambridge. Template:As of it employed 56 faculty members, 45 support staff, 105 research staff, and about 205 research students.<ref name=academicstaff>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> 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.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> 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.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

In October 1946, work began under Maurice Wilkes on EDSAC (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.<ref>Template:Cite journal</ref> It inspired the world's first business computer, LEO. It was replaced by EDSAC 2, the first microcoded and bit-sliced computer, in 1958.<ref>Template:Cite journal</ref>

In 1961, David Hartley developed Autocode, one of the first high-level programming languages, for EDSAC 2. 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, 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<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> named after the Cambridge Ring network.<ref name="cam.ac.uk ring">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

Current

On 30 June 2017, the Cambridge University Reporter 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.<ref name=namechange>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

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, usability, formal verification, formal semantics of programming languages, computer architecture, natural language processing, mobile computing, wireless networking, biometric identification, robotics, routing, positioning systems and sustainability ("Computing for the future of the planet"). Members have been involved in the creation of many successful UK IT companies such as Acorn,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> ARM,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> Template:Proper name and XenSource.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref><ref name="V2cS8">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

Staff

Professors

Template:As of, the department employs 34 professors.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> Notable ones include:

• Alan F. Blackwell, Professor of Interdisciplinary Design
• Ann Copestake,<ref name="GS">Template:Google Scholar id</ref> Professor of Computational Linguistics
• Jon Crowcroft, Marconi Professor of Communications Systems
• Hatice Gunes, Professor of Affective Intelligence and Robotics
• Neil Lawrence, Deepmind Professor of Machine learning
• Anil Madhavapeddy, Professor of Planetary Computing
• Cecilia Mascolo, Professor of Mobile Systems
• Lawrence Paulson, Professor of Computational Logic

Other notable staff include Sue Sentance, Robert Watson, Markus Kuhn.

Former staff

Former staff include:

• Ross J. Anderson,<ref name=andersonswho>Template:Who's Who</ref>
• Jean Bacon
• James Davenport
• Andrew D. Gordon
• Philip Hazel
• Andy Hopper<ref name=hopperswho>Template:Who's Who</ref>
• Robin Milner<ref>Template:Cite journal</ref>
• Alan Mycroft
• Roger Needham<ref>Template:Cite journal</ref>
• Martin Richards<ref name="DBLP">Template:DBLP</ref>
• Peter Robinson,
• Karen Spärck Jones<ref>Template:Cite journal</ref>
• David Wheeler<ref>Template:Cite journal</ref>
• Maurice Wilkes<ref>Template:Cite journal</ref>
• Neil Wiseman
• Neil Dodgson
• Mike Gordon

Heads of the Computer Laboratory

The lab has been led by:

• 1949 Maurice Wilkes
• 1980 Roger Needham
• 1996 Robin Milner
• 1999 Ian Leslie
• 2004 Andy Hopper<ref name=hopperswho/>
• 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 – world's first practical stored program electronic computer (1949–1958)
• Subroutine (1951)
• OXO – world's first video game (1952)
• EDSAC 2 (1958–1965)
• Autocode – one of the first high-level programming languages (1961)
• Titan – early multi-user time-share computer (1964–1973)
• Phoenix – IBM 370 with locally developed OS and hardware extensions (1973–1995)
• TRIPOS operating system – became later the basis for AmigaDOS
• BCPL programming language – ancestor of C
• CAP computer – hardware support for capability-based security
• Cambridge Ring – an early local area network
• Cambridge Distributed Computing System
• Trojan Room coffee pot – the world's first webcam (1993)
• Iris recognition – biometric identification with vanishingly small false-accept rate
• Nemesis – real-time microkernel OS
• Active Badge System –<ref>url="http://www.cl.cam.ac.uk/research/dtg/attarchive/ab.html Template:Webarchive"</ref>
• 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, develop the Romulus CAD kernel and later the ACIS kernel that forms the basis of several modern CAD systems. Shape Data went on to develop Parasolid, 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.<ref name="businessweekly 2012">Template:Cite news</ref> Some cited examples of successful companies are ARM, Autonomy, Aveva, CSR and Domino. One common factor they share is that key staff or founder members are "drenched in university training and research".<ref name="cabume vc fund 2012">Template:Cite news</ref> The Cambridge Computer Lab Ring was praised for its "tireless work" by Andy Hopper in 2012, at its tenth anniversary dinner.<ref name="businessweekly quested 2012">Template:Cite news</ref>

Notable alumni (industries)

• Demis Hassabis
• Eben Upton
• Bjarne Stroustrup
• John Bates
• Ian Pratt
• David L Tennenhouse
• Michael Burrows
• Andrew Herbert
• Andy Harter
• Andy Hopper
• Spencer Kelly

References

{{#invoke:Navbox|navbox}} Template:Authority control