Software Engineering Group
Our research is aimed at developing novel methods, techniques and tools for the engineering of dependable, efficient and resilient computer-based systems, including both classical software systems and cyber-physical systems.