Imperial College London

Dr. Sebastian Uchitel

Faculty of EngineeringDepartment of Computing

Reader in Software Engineering



+44 (0)20 7594 8269s.uchitel Website




573Huxley BuildingSouth Kensington Campus





Currently: EPSRC, DTC, Nuffield, EU.

Dr Uchitel's research is in Software Engineering and particularly in behaviour modelling and analysis of requirements and design for complex software-intensive systems. His research is led by the observation that traditional behaviour modelling and analysis techniques are not well suited for iterative, incremental development approaches where, initially, only partial knowledge of system behaviour is available. Existing behaviour modelling and analysis approaches require comprehensive models, up to a certain level of abstraction, to be completed before analysis can be performed. Sebastian Uchitel's aim is to develop modelling and analysis techniques and tools that can provide benefits even if only a partial behaviour model has been developed. Consequently, his research currently focuses on scenario-based specifications, behaviour model synthesis, and partial behaviour models such as modal transitions systems.

For more information see


David Rosenblum, University College London, Reliability Engineering

Dr. Dan Hirsch, University of Pisa, Software Architectures

Professor Paola Inverardi, University of L'Aquila, Software Architecture

Professor Daniel Yankelevich, Universidad de Buenos Aires, Software Architectures

Marsha Chechik, University of Toronto, Merging Partial Behaviour Models

Professor Jeff Kramer, Imperial College London, Distributed Systems

Professor Jeff Magee, Imperial College London, Distributed Systems

Monica Bobrowski, University of Buenos Aires, Software Architectures

Howard Foster, Imperial College London, Web Services

London Software Systems

Dr Alessandra Russo, Imperial College London, Machine Learning in Requirements Engineering

Past Collaborators

Guest Lectures

Runtime Controller Synthesis for Self-Adaptation: Be Discrete!, 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Austin, Texas, 2016

Research Student Supervision

Alrajeh,D, Machine Learning in Requirements Engineering - In Progress

Duarte,LM, Distributed Systems - In Progress

Fischbein,D, Modal Transition Systems - In Progress