Sebastian Uchitel

Sebastián Uchitel is a Professor at the Department of Computing, Imperial College London, UK. His research focuses on foundational aspects of Software Engineering, particularly in modeling and analysis for automated reasoning, verification of probabilistic systems, controller synthesis, and adaptive systems. He has led major research projects, including the ERC-funded IDEAS StG project on Partial Behaviour Modelling and the European FP6 SENSORIA project.

• Research Interests: Model-Based Software Engineering, Controller Synthesis, Probabilistic Systems, Adaptive Systems, Requirements Engineering
• External Roles: General Chair, International Conference on Software Engineering (2017); Associate Editor, Elsevier Science of Computer Programming; Steering Committee, International Conference on Software Engineering

His recent work explores intersections between Software Engineering and AI, including assured adaptive systems and logic-based learning. A Senior Member of IEEE and Distinguished Scientist of ACM, he has received awards like the Houssay Prize (2015) and Philip Leverhulme Prize (2005). Collaborators include institutions in Argentina, Canada, and the UK.

• Selected Publications: 150+ peer-reviewed works spanning controller synthesis, requirements engineering, and formal methods
• Students: Supervised 12 PhD students since 2003

Grants: Principal Investigator for 3 major grants (2005-2016) totaling over $3.7M USD, including:

• 2013-2016: Technology Platform in Software Engineering (ANPCYT, $1.6M)
• 2009-2014: ERC IDEAS StG on Partial Behaviour Modelling (€1.4M)
• 2005-2008: FP6 SENSORIA Project (€0.7M)