Here you can find the members of my research group and information about some of my current projects.

Research Group

Previous Members:

Research Projects

1) Learning Temporal Specifications of Software

Imperial College Junior Research Fellowship

There has recently been a surge in the use of machine learning techniques to support the generation and repair of software specifications. The use of these techniques typically depends on the ability to provide suitable translations from software specification languages and semantics to languages and semantics understood by the machine learning environment. Though recent applications have shown promising results for some instances, their progress has been hindered by the constraints of operating within languages and semantics of the learner that are not necessarily best suited for capturing the full behavioural scope of the software models.

My project is focused on (1) developing a formal underpinning of the classes of explanation and repair problems for declarative software specifications (described in Linear Temporal Logic) that may be resolved through learning, and (2) designing suitable logic-based learning algorithms and tools for learning correct temporal specifications.

Sanjit Seshia, UC Berkeley, USA
Susmit Jha, SRI International, USA

2) Synthesis for Human-Intensive Systems

Much effort within the software engineering research community has been dedicated to developing mathematically founded, practically useful methods and tools that support the development of systems in which software is the primary decision-maker and safety guarantor. Nevertheless, many systems remain human-intensive. With increased reliance on human expertise, the potential for errors, resulting from flawed (human) logic, oversight and misunderstanding, increases. Why and how can such systems fail? What can we do to build more robust software that can function correctly in the presence of such complexity and dynamicity?

In my research, I am exploring new means for designing, modelling and verifying human-intensive systems to increase their dependability and effectiveness.

Hana Chockler, King's College London, UK
Joe Halpern, Cornell, USA

3) Automated Elaboration of Correct Software Requirements

In the scope of this project, I address the problem of how to achieve automated and rigorous support for iterative requirements elaboration. My aim is to develop sound techniques that are capable of (1) identifying local opportunties for obstacle analysis, operationalisation and inconsitency handling even when available specifications are partial, and (2) for suggesting correct changes that complete the specification.

Nazareno Aguirre, Universidad Nacional de Río Cuarto, Argentina
Antoine Cailliau, UCL, Belgium
Renzo Degiovanni, Universidad Nacional de Río Cuarto, Argentina
Jeff Kramer, Imperial College, UK
Axel van Lamsweerde, UCL, Belgium
Alessandra Russo, Imperial College, UK
Sebastian Uchitel, Imperial College, UK

4) Engineering Forensic-Ready Systems

Digital forensic readiness (DFR) represents the capability of a system to proac- tively support digital investigations by producing evidence that (i) facilitates the investigation and demonstra- tion of compliance to organisational and regulatory policies, and (ii) supports legal proceedings by ensuring that the evidence produced is sound.

This projects focuses on constructing forensic-by-design systems. My research develops techniques that support the formalisation of forensic-readiness requirements and the synthesis of specifications that meet these requirements.

Liliana Pasquale, University College Dublin, Ireland
Bashar Nuseibeh, Lero, Ireland and The Open University, UK
Awais Rashid, Lancaster University, UK.

5) The Social Ecology of Radicalization: A Foundation for the Design of CVE Initiatives

Funded by the Minerva Initiative, US

This 3-year project proceeds from the premise that social ecological factors and mechanisms play a role in the process of individual radicalization. It proposes the use of requirements engineering methodologies and causal reasoning approaches to support the formalization and analysis of ecological mechanisms associated with emergence of radicalization and the evaluation of CVE interventions.

Noemie Bouhana, UCL
Paul Gill, UCL
John Morrison, UEL

6) Building an Intelligent Crime Linkage System

Funded by ESRC, UK

The aim of the project is to support the design of systems for identifying crime series. The work is done in parntership with the National Crime Agency. Read about it here.

Jessica Woodhams, University of Birmingham.