Research
Our research is aimed at novel methods, techniques and tools for the engineering of dependable and efficient computer-based systems, including classical software systems and cyber-physical systems.
Student Theses and Jobs
Current topics for student research projects can be found here and for student research jobs here.