Research

Department of Computing

Research in the Department of Computing focuses on key areas within the broad discipline of computer science including intelligent systems, programming languages and software engineering, and on emerging inter-disciplinary applications of computational methods and techniques, notably in the area of music informatics. Our research investigates, using leading-edge and often multi-disciplinary approaches, the foundations, methods and technology platforms which are relevant to these areas building on the award of a 4B for City University London's research in computing in the 2001 RAE.

AIS (Autonomous Intelligent Systems) Group : Research in AIS spans three broad, overlapping themes,

• Machine Optimisation and LEarning (MOLE);
• Software Agents (SA);
• Intelligent Computing Environments (ICE).

AIS also provides a forum to support those interested in intelligent systems technologies and their application. For example, AIS has research links with the Music Informatics group and the world-leading Centre for Interactive Systems Research in information retrieval.

Music Informatics Group : The Music Informatics research group is a newly formed team working on Music Informatics and related topics. Music Informatics includes the study of computational models of music analysis, music generation, and music performance. Interests of the Music Informatics group include statistical modelling, computational musicology, pattern discovery, and music e-learning. The group is also concerned with wider aspects of modelling sequential structures, such as financial time series, biological sequences, and text.

Programming Languages and Systems (PLAS) Group: Research within the Programming Languages and Systems group is focussed on advanced programming language features and techniques, and semantics-based program analysis.

Software Engineering Group: The group is conducting research in the field of software systems engineering with a focus on:

• service-oriented and autonomic software systems
• validation of distributed and embedded software systems
• requirements engineering (requirements traceability and evolution)
• distributed data management

The group collaborates closely with the School's Centre on HCI Design.