High Performance Computing Group
Department of Computing. Research groups: Software environments; Data mining; Computational optimisation; Performance modelling; Visual theory. Theory and Formal Methods Group
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. Distributed Software Engineering
Department of Computing. Research on the software development process and software support environments, particularly for real-time, embedded, parallel and distributed systems. Imperial College Parallel Computing Centre (ICPC)
Provide College workers with dedicated access to powerful parallel computers. News and details of the facilities. Department of Computing
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.