Research areas: Distributed software engineering; High-performance informatics; Interactive media; Logic and AI; Software technology and theory. Also hosts On-line Dictionary of Computing and SunSITE archive.

Department of Computing. Research on the software development process and software support environments, particularly for real-time, embedded, parallel and distributed systems.

Department of Computing. Research groups: Software environments; Data mining; Computational optimisation; Performance modelling; Visual theory.

Provide College workers with dedicated access to powerful parallel computers. News and details of the facilities.

Department of Computing. Research includes the semantics of formal languages and their analysis, exact real arithmetic and its applications, digital topology, process calculi, and formal methods in software engineering.