Department of Computer Science, University of Manchester

Template:Short description Template:Use dmy dates {{#invoke:Infobox|infobox}}Template:Template otherTemplate:Main other{{#if:Manchester_Kilburn_Building.jpg|Template:Main other }}{{#if:Faculty of Engineering and Physical Sciences,
University of Manchester|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 at the University of Manchester is the longest established department of Computer Science in the United Kingdom and one of the largest. It is located in the Kilburn Building on the Oxford Road and currentlyTemplate:When has over 800 students taking a wide range of undergraduate and postgraduate courses and 60 full-time academic staff.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

Teaching and study

File:Steve Furber.jpg

Professor Steve Furber FRS FREng works on the SpiNNaker and the Human Brain Project

File:Carole Goble by Rob Whitrow (15682291039).jpg

Carole Goble CBE FREng is a Professor of Computer Science

File:DrRobertDavidStevens.jpg

Professor Robert Stevens has served head of school/department since 2016

File:Ulrike Sattler P1010617 (13870428215).jpg

Professor Ulrike Sattler research investigates knowledge representation and reasoning

File:Alan Turing az 1930-as években.jpg

Alan Turing was deputy director of the computing laboratory, a predecessor to the Department of Computer Science

Undergraduate

The Department currentlyTemplate:When offers a wide range of undergraduate courses from Bachelor of Science (BSc), Bachelor of Engineering (BEng) and Master of Engineering (MEng).<ref name="undies">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> These are available as single honours or as joint honours degrees within the themes of Artificial Intelligence, Computer Science, Computer systems engineering, Software engineering, Mathematics, Internet Computing, Business applications and Management. Industrial placements are offered with all undergraduate courses.<ref name="undies"/>

Postgraduate

At postgraduate level the department offers taught Master of Science (MSc) degrees, at an advanced level and also through a foundation route.<ref name="posties">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> Research degrees, Doctor of Philosophy (PhD) and Master of Philosophy (MPhil) are available as three and four year programmes through the Doctoral Training Centre in Computer Science, the first of its kind in the UK.<ref name="dtc">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

Notable academic staff

Notable academic staff include:

• Andy Brass
• Jack Dongarra
• Steve Furber
• Carole Goble
• Toby Howard
• Norman Paton
• Steve Pettifer
• Ulrike Sattler
• Robert Stevens
• Template:Ill<ref name="taylorswho">Template:Who's Who</ref>
• Andrei Voronkov

The School is organised into nine different research groups, which received funding from a wide range of sources including the European Union, Engineering and Physical Sciences Research Council and Biotechnology and Biological Sciences Research Council.

Advanced Processor Technologies

The Advanced Processor Technologies (APT) group researches advanced and novel approaches to processing and computation and is led by Professor Steve Furber. New projects include SpiNNaker, Transactional Memory, and TERAFLUX.<ref name="apt"/> Academic staff in the group include Dr Jim Garside, Dr David Lester, Dr Template:Ill, Dr John V Woods, Dr Javier Navaridas, Dr Vasilis Pavlidis, Dr Dirk Koch and Fellow Barry Cheetham.<ref name="apt">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref><ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> Past research projects include Jamaica, AMULET microprocessor, Network On Chip, Asynchronous Digital signal processors and System on a chip.

Bio-Health Informatics

The Bio-Health Informatics Group (BHIG) conducts research in Bioinformatics and Health informatics ranging from the applications in molecular biology through to clinical e-science and healthcare applications. Academic staff in the group include Professor Andy Brass and Robert Stevens.<ref name="bhig">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

Formal Methods

The Formal Methods group has a very broad span of interests, ranging from developing the new mathematics of computational behaviour, to the study and development of system design and verification methods. There is a large group dedicated to the automation of logic including world-champion Vampire. The group is led by Professor Template:Ill and includes Professor Peter Aczel, Professor Andrei Voronkov, Professor Template:Ill<ref>http://www.manchester.ac.uk/research/Howard.barringer/ Prof Howard Barringer - personal details</ref> amongst more than a dozen staff and a large number of research students.<ref name="fm">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

Information Management

The Information Management Group (IMG)<ref name=img>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> conducts basic and applied research into the design, development and use of data and knowledge management systems. Such research activities are broad in nature as well as scope, including basic research on models and languages that underpin activities on algorithms, technologies and architectures. Challenging applications motivate and validate this research, in particular the Semantic Web and e-Science. Examples of recent research include Protégé, Utopia Documents, myGrid, Taverna workbench, myExperiment, Open PHACTS. Academic staff in group include Professor Carole Goble CBE, Professor Norman Paton, Professor Ulrike Sattler, Professor Robert Stevens, Template:Ill, Template:Ill, Simon Harper, Template:Ill, Template:Ill, Rizos Sakelloirou, Sandra Sampaio and Ning Zhang.<ref name="img"/>

Machine Learning and Optimisation

The Machine Learning and Optimisation (MLO) group<ref name="mlo">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> conduct research into a wide range of techniques and applications of machine learning, optimization, data mining, probabilistic modelling, pattern recognition and machine perception. Academic staff include Jon Shapiro (group leader),<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> Gavin Brown, Ke Chen, Richard Neville<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> and Xiaojun Zeng.

Nano Engineering and Storage Technologies

The Nano Engineering and Storage Technologies (NEST) group has research interests in nano fabrication for data storage and advanced sensors applications and the investigation of data storage systems in general. The NEST group is housed in an integrated suite of staff offices, general-purpose laboratory space and class 100/1000 cleanrooms and is a founder member of the Manchester Centre for Mesoscience and Nanotechnology where the ground-breaking, Nobel Prize–winning work on graphene by Andre Geim and Konstantin Novoselov was undertaken. The group is led by Professor Thomas Thomson,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> academic staff members include Professor Jim Miles, Ernie W. Hill, Milan Mihajlovic and Paul W. Nutter.

Software Systems

The Software Systems group<ref name="systems">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> is concerned with the design, modelling, simulation and construction of mission-critical systems that challenge the states-of-the-art in both software engineering and performance engineering. Such systems are fundamentally composed of physically distributed component sub-systems, and are characterised by large data spaces and high compute needs, with associated complex interactions between the components. Academic staff members include Professor John Keane,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> Kung-Kiu Lau, Liping Zhao and Graham Riley.<ref name="systems"/>

Text Mining

The Text Mining group<ref name="textmine">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> performs research to extract useful information and knowledge from unstructured text, particularly in the field of bioinformatics. The group also performs research into Natural Language Processing (NLP) and hosts the National Centre for Text Mining. The group is led by Professor Sophia Ananiadou<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> and includes academic members Professor Jun'ichi Tsujii, John McNaught (retired) and Template:Ill.<ref name="textmine"/>

Advanced Interfaces

The Advanced Interfaces Group (AIG)<ref name="aig">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> researches virtual environments, collaborative visualization systems, and computer vision. The group is led by Steve Pettifer<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> and includes academic staff Aphrodite Galata, Toby Howard (Honorary Reader), Tim Morris. Research projects include UTOPIA software.

Imaging Science

The Imaging sciences is part of the Centre for Imaging Sciences, a research department focusing on imaging physics, image processing, computer vision, and the development and application of imaging biomarkers in healthcare. The group<ref name="imaging">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> is run by Professor Template:Ill<ref name="taylorswho"/><ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> jointly with the School of Medicine.<ref name="imaging"/> The group includes Professor Tim Cootes.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

Management

The school (and department) has been led by ten different Heads of School since its inception in 1964.

Heads of School/Department

The Department of Computer Science (in 2018, the School of Computer Science was turned into the Department of Computer Science) has been run by

1. Template:Ill since 2022

The School of Computer Science (2004–2018) was run by

1. Robert Stevens 2016–2022
2. Jim Miles 2011–2016
3. Norman Paton 2008–2011
4. Chris Taylor 2004–2008Template:Citation needed

Prior to merger with UMIST, the School of Computer Science was the Department of Computer Science. It was run by

1. Steve Furber 2001–2004
2. Brian Warboys 1996–2001
3. Howard Barringer 1991–1996
4. John Gurd 1987–1991
5. Dai Edwards 1980–1987<ref name=turingdai>{{#invoke:citation/CS1|citation

|CitationClass=web }}</ref><ref name=daiedwards>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

1. Tom Kilburn 1964–1980<ref name=universal>Template:Cite journal</ref><ref name=lavington>Template:Cite journal</ref>

History

The school has its roots in the Computer Group of the Electrical Engineering Department at the Victoria University of Manchester. The Computer Group was established following Freddie Williams's move to the Electrical Engineering Department in 1946.<ref name=computerfifty>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> At its formation in 1964, the Department of Computer Science was the first such department in the United Kingdom, with Professor Tom Kilburn serving as Head of Department until 1980. On 1 May 2001, following the death of Kilburn the same year, the Computer Building was renamed Kilburn Building in his honour.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> The School of Computer Science was formed from the Department when the Victoria University of Manchester and UMIST merged to form the University of Manchester in 2004. It changed back from a school to a department in 2019. The Group/School/Department is notable for the following achievements:

• The world's first electronic stored-program digital computer (the Manchester Baby)
• Virtual memory using paging (see Atlas Computer)
• Manchester encoding
• The AMULET microprocessor series (asynchronous implementations of the ARM computer architecture)

See also the History of the school.<ref name="history">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> The following alumni have been staff in the School

Alumni and Emeritus

The school and department has several notable alumni and Emeritus staff including:

• Victoria Stavridou-Coleman, Chief Scientist of the United States Air Force
• Terri Attwood, Emeritus Professor
• Alan Rector, Emeritus Professor
• Roger Hubbold. Emeritus Professor <ref>{{#invoke:citation/CS1|citation

|CitationClass=web }} Professor Roger Hubbold Homepage</ref>

• Jim Miles (retired)Template:When
• Allan M. Ramsay (retired)Template:When
• Ian Horrocks, Professor of Computer Science at the University of Oxford
• Hilary Kahn, a professor in the computer science department<ref>{{#invoke:citation/CS1|citation

|CitationClass=web }}</ref>

• Tom Kilburn<ref name=kilburnodnb>Template:Cite ODNB</ref> first head of the Department of Computer Science
• Template:Ill, Professor at the University of Birmingham
• Pedro Mendes, Professor at the University of Connecticut Health Center
• Template:Ill, Professor of Computational and Systems Biology in the School of Biological Sciences<ref>{{#invoke:citation/CS1|citation

|CitationClass=web }}</ref>

• Neil Lawrence, DeepMind Professor of machine learning at the University of Cambridge
• Alan Turing was deputy director of the computing laboratory and a Reader in the Mathematics Department
• Brian Warboys, Professor
• David Bree, Emeritus Professor of Artificial Intelligence<ref>{{#invoke:citation/CS1|citation

|CitationClass=web }}</ref>

• Freddie Williams<ref name=fwilliams>Template:Cite journal</ref>
• Simon Lavington<ref name=Lavington1978>Template:Cite journal</ref><ref name=lavscopus>Template:Scopus</ref>
• Geoff Tootill<ref name=tootill>{{#invoke:citation/CS1|citation

|CitationClass=web }}</ref>

• Nandini Mukherjee
• Ross D. King, creator of Robot Scientist, Department of Chemical Engineering and Biotechnology, University of Cambridge<ref>{{#invoke:citation/CS1|citation

|CitationClass=web }}</ref>

• Ian Watson, and Emeritus Professor
• Alasdair Rawsthorne<ref name=rawcompany>{{#invoke:citation/CS1|citation

|CitationClass=web }}</ref><ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>

• Simon Segars CEO of Arm Ltd.<ref name="msc">Template:Cite thesis</ref>
• Bonamy Grimes, co-founder of SkyscannerTemplate:Citation needed
• Gareth Williams, co-founder of SkyscannerTemplate:Citation needed
• Jon Andrews, vice president at Apple Inc<ref>{{#invoke:citation/CS1|citation

|CitationClass=web }}</ref>