Chair at the Institute for Software & Systems Engineering (Prof. Dr. Wolfgang Reif) researching rigorous specification and analysis of software, mechanized reasoning and software for robotics, AI and self-organizing systems; coordinates the Elite Graduate Program Software Engineering.

Further Information