Department of Computing

« Back.City » School of Informatics » Our organisation » Department of Computing » Research

• Informatics home
• Computing home
• Computing Research home
• Current Computing Research Projects
• Completed Computing Research Projects
• AIS group
• Music Informatics Group
• PLAS group
• Software Engineering Group
• Technical Reports
• PhD / Research Studies

Current Research Projects within The Department of Computing

This page gives details of all funded research activity currently ongoing within The Department of Computing, divided by Research Group :-

Autonomous Intelligent Systems Group
Music Informatics Group
Programming Languages and Systems Group
Software Engineering Group

Autonomous Intelligent Systems Group (AIS)

A neural symbolic framework based on non-classical logics
Principal investigator: Rafael Borges supervised by Dr. Artur Garcez
Funding: £40,000br> Funding source: City University
Duration: 2008-2011
Overview: To develop representation and learning strategies, through integration of neural networks and fragments non-classical logics, with focus on temporal representation. Besides the theoretical developments, the work is focused on the application of the proposed framework on representation and evolution of temporal model within different areas of Computer Science, such as the specification of systems in Software Engineering.

Music Informatics Group (MI)

Programming Languages and Systems Group (PLAS)

VIP - Verification with Integer Polyhedra
Principal investigator: Jacob Howe
Funding: £136,174 (City University London) - £256,028 (Total)
Funding source: EPSRC
Duration: 2007-2010
Overview: VIP aims to develop and utilise theoretical results on integer polyhedra to improve the accuracy of program analysis, in particular with respect to security analysis.

Software Engineering Group (SE)

S-CUBE - Software Services and Systems Network

Principal investigators: George Spanoudakis (Computing) and Neil Maiden (HCID)
Co-Investigator: Andrea Zisman (Computing)
Funding: € 331,290 (Computing) and € 331,290 (HCID) (€ 8.5m for the entire project)
Funding source: EU (F7, Network of Excellence)
Duration: 2008 - 2012
Overview: Network of Excellence in Software services whose mission is to establish a unified, multidisciplinary, vibrant research community enabling Europe to lead the software-services revolution and shape the software service based Internet that will underpin future society.

SLA@SOI - Empowering the Service Economy with SLA-aware Infrastructures

Principal investigator: George Spanoudakis
Funding: € 535,425 (City University London) €9.6m (Total) )
Funding source:EU (F7 Integrated Project)
Duration: 2008 - 2011
Overview: SLA@SOI aims to provide a technological framework that will address major needs of the emerging software-service intensive economy, namely: (1) The need for predicting and enforcing software service quality at runtime, (2) The need for transparent management of Service Level Agreements (SLAs) determining the exact conditions under which software services are provided/consumed, and (3) The need for highly automated negotiation, provision, and monitoring of services running on evolving and adaptable IT infrastructures. To address these needs the project will provide an open source SLA management framework with capabilities for prediction, monitoring and adaptation of software service provision on heterogeneous and distributed service-oriented infrastructure. Key innovative features of this framework will be: (i) the provision of e-contracting, (2) the systematic grounding of SLAs from the business level down to the infrastructure, (3) the exploitation of virtualization technologies at infrastructure level for SLA enforcement, and (4) advanced engineering methodologies for the creation of predictable and manageable services.