Department of Computer Science, University of Manchester

The Department currently offers a wide range of undergraduate courses from Bachelor of Science (BSc), Bachelor of Engineering (BEng) and Master of Engineering (MEng).[3] 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.[3]

At postgraduate level the department offers taught Master of Science (MSc) degrees, at an advanced level and also through a foundation route.[4] 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.[5]

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.[7] Academic staff in the group include Dr Jim Garside, Dr David Lester, Dr Mikel Luján, Dr John V Woods, Dr Javier Navaridas, Dr Vasilis Pavlidis, Dr Dirk Koch and Fellow Barry Cheetham.[7][8] Past research projects include Jamaica, AMULET microprocessor, Network On Chip, Asynchronous Digital signal processors and System on a chip.

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.[9]

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 Michael Fisher (computer scientist) and includes Professor Peter Aczel, Professor Andrei Voronkov, Professor Howard Barringer[10] amongst more than a dozen staff and a large number of research students.[11]

The Information Management Group (IMG)[12] conducts basic and applied 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 underpins 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, Sean Bechhofer, Suzanne Embury, Simon Harper, Caroline Jay, Bijan Parsia, Rizos Sakelloirou, Sandra Sampaio and Ning Zhang.[12]

The Machine learning and Optimisation (MLO) group[13] conduct world-leading 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),[14] Gavin Brown, Ke Chen, Richard Neville[15] and Xiaojun Zeng.

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,[16] academic staff members include Professor Jim Miles, Ernie W Hill, Milan Mihajlovic and Paul W. Nutter.

The Software Systems group[17] 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,[18] Kung-Kiu Lau, Liping Zhao and Graham Riley.[17]

The Text Mining group[19] 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[20] and includes academic members Professor Jun'ichi Tsujii, John McNaught (retired) and Goran Nenadic.[19]

The Advanced Interfaces Group (AIG)[21] researches virtual environments, collaborative visualization systems, and computer vision. The group is led by Steve Pettifer[22] and includes academic staff Aphrodite Galata, Toby Howard (Honorary Reader), Tim Morris. Research projects include UTOPIA software.

The Imaging sciences is part of the Centre for Imaging Sciences, a world-class research department focusing on imaging physics, image processing, computer vision, and the development and application of imaging biomarkers in healthcare. The group[23] is run by Professor Chris J. Taylor[6][24] jointly with the School of Medicine.[23] The group includes Professor Tim Cootes.[25]

The School has been run by

1. Robert Stevens from 2016 to date
2. Jim Miles from 2011 to 2016
3. Norman Paton 2008–2011
4. Chris Taylor 2004–2008

Prior to merger with UMIST the School of Computer Science was the Department of Computer Science.

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[26][27]
6. Tom Kilburn CBE FRS 1964–1980[28][29]

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

• Terri Attwood, Emeritus Professor
• Alan Rector, Emeritus Professor
• Roger Hubbold. Emeritus Professor [32]
• Jim Miles (retired)
• Allan M. Ramsay (retired)
• Ian Horrocks, FRS Professor of Computer Science at the University of Oxford
• Hilary Kahn, a professor in the computer science department[33]
• Tom Kilburn CBE FRS[34] first head of the Department of Computer Science
• Joshua Knowles, Professor at the University of Birmingham
• Pedro Mendes, Professor at the University of Connecticut Health Center
• Magnus Rattray, Professor of Computational and Systems Biology in the School of Biological Sciences[35]
• Neil Lawrence, DeepMind Professor of machine learning at the University of Cambridge
• Alan Turing FRS was deputy director of the computing laboratory and a Reader in the Mathematics Department
• Brian Warboys, Professor
• David Bree, Emeritus Professor of Artificial Intelligence[36]
• Freddie Williams CBE FRS[37]
• Simon Lavington[38][39]
• Geoff Tootill[40]
• Nandini Mukherjee
• Ross D. King, creator of Robot Scientist, Department of Chemical Engineering and Biotechnology, University of Cambridge[41]
• Ian Watson, and Emeritus Professor
• Alasdair Rawsthorne[42][43]
• Simon Segars CEO of Arm Ltd.[44]
• Bonamy Grimes, co-founder of Skyscanner
• Gareth Williams, co-founder of Skyscanner
• Jon Andrews, vice president at Apple Inc[45]