-
software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g., to infer specifications) Test input generation (e.g., to compare the behavior of old and new code via
-
automated driving systems. Conception, design, and implementation of software architectures and prototypes in interdisciplinary projects. Development, testing, and evaluation of methods and software systems
-
-dynamical or environmental systems Research on quantum and hybrid quantum–classical algorithms for solving partial differential equations Implementation, testing, and benchmarking of computational methods
-
: Fail safe, Distributed Digital Twin for Innovative Air Mobility (IAM) Operations Supervisor: Prof. Dr. Uwe Assmann, Chair of Software Technology and co-supervised by at least one