School of Informatics. Comprises: Department of Computing, Department of Information Science, Centre for Software Reliability, Centre for Human-Computer Interface Design, Centre for Measurement and Information in Medicine.

City University, London - Formal methods and modelling.

A small functional programming language, with polymorphic typing, algebraic types, pattern matching and higher-order functions.

The Component Based Operating System: based on describing system resources as independent components, lets applications implement their own abstractions, define their own protection schemes, participate in resource management.