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

Group members

Current members

Past members

Research Projects

Automated Elaboration and Adaptation of Software Requirements

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

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

Relevant papers:
Dalal Alrajeh, Antoine Cailliau and Axel van Lamsweerde. Adapting Requirements Models to Varying Environments. In proceedings of the 42nd International Conference on Software Engineering (ICSE'20), 2020.

Imperial College Junior Research Fellowship, 2013-2017.

Specification and Analysis of Human-Intensive, AI-enabled 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 in decision making.

Hana Chockler, King's College London, UK
Joe Halpern, Cornell, USA
Jessica Woodhams, University of Birmingham, UK.
Noemie Bouhana, UCL, UK

Relevant papers:
Dalal Alrajeh, Hana Chockler and Joe Halpern. Combining Experts’ Causal Judgments. In Artificial Intelligence (AIJ), 2020.

The Social Ecology of Radicalization: A Foundation for the Design of CVE Initiatives, Minerva Initiative, 2016-2019

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.

Relevant papers:
On Dalal Alrajeh, Liliana Pasquale and Bashar Nuseibeh. Evidence Preservation Specifications for Forensic-ready Systems. In proceedings of 11th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'17), ACM, 2017.