TODO: Use this site to find project supervisors for your masters projects.
Applied Machine Learning
Modelling & Simulation
Cyber-physical systems (CPS) consist of interacting computational and physical components. Autonomous systems such as autonomous cars, trains and factories are prominent examples of CPS. As CPS are becoming continuously larger in size, more complex in functionality, and more safety-critical in their applications, it is vital to guarantee their safety and correctness. In order to achieve this goal, we need to investigate formal methods, enabling novel computer-aided verification technologies.
I offer projects which aim at developing innovative verification techniques to assure safe behaviour of cyber-physical systems. These mostly employ so called hybrid systems where a hybrid system is a mathematical model that combines discrete and continuous dynamics, which in turn make it particularly suitable to model CPS. This formalism can capture the behaviour of a large range of real-world systems. For example, systems from automotive and aerospace domains, as well as biological systems can be modelled using the hybrid systems formalism. Depending on the student's interests the project can also involve some AI related bits such as neural networks.
While working with students, I always try to engage them in real-life research projects. As a result, quite often research projects I supervise lead to co-authored publications with students. This provides insights to students into how life as a researcher looks like which in turn might be beneficial while considering possible career options after graduation.
Technologies & Programming Languages
I am comfortable supervising projects that make use of the following technologies and programming languages.