A picture of me

Emmanuel Letier

Associate Professor
Software Systems Engineering Group
Department of Computer Science
University College of London

Email: e.letier@ucl.ac.uk
Office: UCL Engineering Front Building, Room 3.01


My research is about software requirements and architecture. I study how to discover, analyse, design and communicate the requirements and architecture for complex software systems.

The core idea of my research is that stakeholder goals are key abstractions for deriving and evaluating software requirements and architecture. These goals can be defined precisely using a combination of natural language, formal logic, and mathematical models that allow for rigorous and automated analysis.

Analysing stakeholder goals includes analysing tradeoffs between conflicting goals, anticipating obstacles to goal satisfaction, and dealing with uncertainty about the impacts of requirements and architecture choices on these goals. This includes analysing uncertainty during strategic release planning, software evolution, and the management of technical debt.

Stakeholder goals, together with domain assumptions, can be used to derive software requirements and architecture that are ‘correct by construction’. Most often, however, the process of elaborating software requirements and architecture involves the iterative debugging and optimisation of requirements, architecture and code with respect to ever-changing goals. My research aims to develop practical and sound automated techniques that facilitate this process.

Selected publications

On uncertainty in strategic release planning

On analysing uncertainty in goal models

On analysing obstacles to goal satisfaction

On managing requirements conflicts

On deriving software requirements from stakeholder goals and domain assumptions

On inferring requirements from scenarios


I teach a course on software requirements and architecture to MSc students at UCL and supervise students projects in collaboration with industry. The course content is reflected in the annotated reading list.

Short bio

I joined UCL as a lecturer in 2006. I have a PhD in Software Engineering from the University of Louvain in Belgium. Before my PhD, I graduated with an engineering degree in Applied Mathematics and a bachelor degree in Philosophy from the same university.

I was Program Co-Chair of the International Requirements Engineering Conference in 2016. I regularly serve in program committees for various conferences, notably for the International Requirements Engineering Conference (RE) and the International Conference in Software Engineering (ICSE). I was chair the BCS Requirements Engineering Specialist Group from 2011 to 2017 and head of UCL Software Systems Engineering group from 2017 to 2020.


Also on: Google Scholar, DBLP

Emmanuel Letier
Department of Computer Science
University College London
Gower Street, London WC1E 6BT, United Kingdom
Email: e.letier@ucl.ac.uk