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.