Reseach within the Department of Computing, Imperial College, London

Research within the Department is organised into sections. There are also two specialised research centres associated with the Department.

Research Groups.

• Advanced Languages and Architectures. (Papers).
• Applied Systems.
• Distributed Software Engineering. (Papers.)
• Logic and Automated Reasoning.
• Logic, Language and Reasoning.
• Logic Programming Section. (Papers).
• Theory and Formal Methods (Papers).

Research Centres.

• The Imperial College/Fujitsu Parallel Computing Research Centre.
• IC-Parc. the Centre for Planning and Resource Control.

Special Interest Groups.

• The Temporal Reasoning Group.

Copyright © 1995 Department of Computing, Imperial College, London, UK.