The School of Computer Science, currently growing in three areas (Theory of Computation, Artificial Intelligence, and Software Engineering) offers a number of PhD studentships each year.
The Theory of Computation group, headed by recently appointed Professor Achim Jung, concentrates on the development of logics and semantics for programming languages. The overall aim is to provide intuitive conceptual tools for the everyday practice of programming. Within this framework, the activities range from abstract mathematics to issues of implementation and software development. Current research projects include probabilistic computation, temporal and modal logics, specification languages, logics for AI, process calculi, semantics for concurrency, algebraic data types and semantics of databases.
Current members of the Theory group are: Professor Achim Jung, Dr Marta Kwiatkowska, Dr David Murphy, Dr Mark Ryan, and Dr Michael Huth. An additional Lectureship and a Research Fellowship are currently being filled.
Applicants should possess a good honours degree (equivalent to an upper second class degree in a UK university) in Mathematics or Computer Science, or a closely related title. Applicants willing to undertake research related to building software systems are also welcome.
Informal enquiries should be directed to Marta Kwiatkowska (tel +44 121 414 7264; email M.Z.Kwiatkowska@cs.bham.ac.uk) or Mark Ryan (tel +44 121 414 7361; email M.D.Ryan@cs.bham.ac.uk).
Additional information about the School of Computer Science and the University of Birmingham is accessible via WWW .
This includes current research, courses, pictures of the campus, individual pages of members of staff, as well as application forms for research degrees.