clh@ic-cs.UUCP (chris hankin) (01/30/85)
IMPERIAL COLLEGE
DEPARTMENT OF COMPUTING
POSTGRADUATE RESEARCH IN THEORETICAL COMPUTER SCIENCE
AND FORMAL METHODS
Theoretical Computer Science is the study of fundamental aspects of
computation using tools from mathematics and logic. Formal Methods is the
application of theory to the practice of programming and systems design,
with the aim of developing more systematic, reliable and accurate
methodologies, supported by computer-based tools. A great deal of progress
in these fields has been made in recent years, using ideas from
mathematical logic, category theory, universal algebra, topology and
lattice theory.
The Department of Computing at Imperial College is a centre for research in
Theory and Formal Methods, with a group of about 20 members of staff,
research assistants and Ph.D students engaged in a number of projects
funded by SERC, the Alvey Programme and industry. Particular areas of
research interest currently include:
Semantics of Programming Languages and Computation
Logics of Programs
Concurrency
Program Specification
Data Base Theory
Abstract Interpretation
Theorem Proving and Rewrite Systems
Program Support Environments for Formal Methods
Philosophy and Social Aspects of Computing
Natural Language Processing
Foundations of Non-Monotonic Reasoning and Expert Systems
Applications are invited from either students with a good first degree in
Mathematics or a subject with a high mathematical content, who wish to
enter the intellectually exciting and rapidly expanding field of Computing;
or students with a good first degree in Computer Science, preferably
including some theoretical component, who wish to pursue research in Theory
or Formal Methods.
The Department of Computing supports a large and flourishing Ph.D and
Research community (currently about 30 full-time Ph.D students and 30
Research Assistants and Fellows). A unique Inter-collegiate Postgraduate
course in Theoretical Computer Science within the University of London
provides in-depth introductions to the major areas of the subject during
the first year of the Ph.D programme. There are also regular series of
seminars run by the various research groups within the Department. The
high level of research activity in the Department makes it a most
stimulating environment in which to work.
For further information and an application form, write to:
Miss C A Wooldridge
Admissions Secretary
Department of Computing
Imperial College of Science and Technology
180 Queen's Gate
LONDON SW7 2AZ