Research in the Department of Computing
Jump past News SectionLatest news
Onassis Foundation Science Lecture Series Professor Spanoudakis has been invited to present his work on runtime monitoring for security and dependability as part of the prestigious Science Lecture Series organised annually by the Onassis Foundation. The focus of the series in the area of Computer Science in 2010 is Network and Information Security
Securware 2010 Prof. George Spanoudakis invited to join the programme commitee of Securware 2010 held July 18-25 2010 in Venice.
Security and Dependability for Ambient Intelligence edited by Prof. George Spanoudakis, Antonio Mana and Spyros Kokolakis is available now from Springer and in Bookstores. Security and Dependability for Ambient Intelligence is the primary publication of the SERENITY approach, which provides security and dependability (S&D) solutions for dynamic, highly distributed, heterogeneous systems. The objective of SERENITY is to enhance the security and dependability of ambient intelligence systems by providing a framework supporting the automated integration, configuration, monitoring and adaptation of security and dependability mechanisms.
Special Issue on Machine Learning and Music Dr Darrell Conklin is guest editor of the upcoming special issue on Machine Learning and Music in The Journal of Intelligent Data Analysis 14(5).
Journal of System Architectures - special issue on Security and Dependability Assurance of System Architectures. Prof. George Spanoudakis is one of the guest editors on this special edition of Elseviers Journal of System Architectures.
Prof. George Spanoudakis joins programme committee for Esorics 2010. Computer security is concerned with the protection of information in environments where there is a possibility of intrusion or malicious action. The aim of ESORICS is to further the progress of research in computer security by establishing a European forum for bringing together researchers in this area, by promoting the exchange of ideas with system developers and by encouraging links with researchers in related areas.
A UML-Based Static Verification Framework for Security This paper produced by members of The Software Engineering group will appear in a forthcoming security-focussed special issue of the Requirements Engineering Journal, and reports on work undertaken in the context of the F6 project PEPERS
Comprehensive Monitoring of BPEL Processes a paper produced by The Software Engineering group is to feature in a forthcoming issue of the IEEE Journal on Internet Computing, and describes work undertaken in the context of the F6 project SECSE.
22nd International Conference on Software Engineering and Knowledge Engineering Prof. George Spanoudakis joins Programme Committee.
About our Research
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.
The research structure of the Department includes four research groups consisting of academics, research associates and PhD students. These groups have active collaborations with individual researchers and groups of other units of the School of Informatics and contribute to the strategic research areas of the School.
AIS (Autonomous Intelligent Systems) Group : Research in AIS spans three broad, overlapping themes,
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:
The group collaborates closely with the School's Centre on HCI Design.