Lab directory
Prof. Sebastian Uchitel — Research Profile
Imperial College London · Department of Computing
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
About
Prof. Sebastian Uchitel at Imperial College London Department of Computing lists Software engineering, modelling, verification, controller synthesis as their registered research area.
Research keywords
Software engineeringmodellingverificationcontroller synthesis
Other labs in this department
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Alastair Donaldson 교수 연구실
Formal verification, software performance optimization
- Aldo Faisal 교수 연구실
Neurotechnology, machine learning, algorithmic behavior prediction
- Alessandra Russo 교수 연구실
Computational logic, logic-based machine learning, autonomous systems
- Alessio Lomuscio 교수 연구실
AI verification, computer vision validation, certified learning
- Andrew Davison 교수 연구실
Computer vision, robotics, SLAM, augmented reality