|
University of London, Imperial College
|
|
| Listings: | - 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.
- High Performance Computing Group - Department of Computing. Research groups: Software environments; Data mining; Computational optimisation; Performance modelling; Visual theory.
|
|
|
|
|
