King's College London

Course Introduction

This programme is defined by the interests of the 4 research sections: the agents and intelligent systems (AIS) section's research is concerned with investigating aspects of agent technologies and intelligent systems, as well as AI more generally, and their applications; agents are intelligent (typically software) entities that work together to achieve goals that they would not be able to achieve by themselves, or not as easily. The algorithm design section is focussed around algorithms design itself, and bioinformatics; the former develops and analyses algorithms for various computational problems, including pattern matching and recognition, graph searching, network optimisation, and scheduling; it also addresses random discrete processes, meta'heuristics, and algorithm engineering. The latter area of bioinformatics is concerned with computational problems arising in molecular biology, including classification of DNA and protein sequences; analysis of gene expression patterns, and uncovering protein'protein and protein'DNA interactions. The Logic and theory of computing section concentrates on 2 related research directions; firstly, it studies applications of logic to computer science and artificial intelligence, logical foundations of computational semantics and research in natural language processing; secondly, it develops and investigates various models of reasoning and computation, designing formal languages to describe problem domains (in particular programming languages, specification languages, logics and theorem provers) and analysing their expressive power and computational behaviour. The software engineering section specialises in developing ways to optimise software engineering processes and products; the group's research areas include software testing, software evolution, security, search'based software engineering, software agents and multi'agent systems, and applied formal methods; these areas can be subdivided into three main subgroups: centre for research on evolution, search and testing; software and systems modelling; and predictable assembly laboratory.

Course Additional Entry

Good Honours degree (2.1 or above) in computer science or a closely related subject; a good background in the area of intended research.

Duration & Attendance Qualification Tuition fees
2 - 3 years
Full Time
MPhil £19,500  Academic year. First year overseas fees
2 - 3 years
Full Time
MPhil £4,600  Academic year. First year home fees
4 - 6 years
Part Time
MPhil £9,750  Academic year. First year overseas fees
4 - 6 years
Part Time
MPhil £2,300  Academic year. First year home fees
2 - 3 years
Full Time
PhD £19,500  Academic year. First year overseas fees
2 - 3 years
Full Time
PhD £4,600  Academic year. First year home fees
4 - 6 years
Part Time
PhD £9,750  Academic year. First year overseas fees
4 - 6 years
Part Time
PhD £2,300  Academic year. First year home fees