Ruediger Ehlers

Ruediger Ehlers is a Professor for Embedded Systems at Clausthal University of Technology, focusing on formal methods, automated reasoning, and cyber-physical systems. His research aims to bridge formal methods and artificial intelligence to enhance the efficiency and reliability of computational systems.

• University: Clausthal University of Technology
• Institute: Institute for Software and Systems Engineering

Research Interests: His work centers on making correct-by-construction design processes more efficient, particularly through reactive synthesis, verification of finite- and infinite-state systems, and runtime monitoring. He has developed tools like slugs and planet for synthesis and neural network verification.

Publications Trends: Recent articles emphasize temporal logic, reinforcement learning under constraints, and algorithm engineering for practical applications in manufacturing and quantum computing.

Scientific Awards:

• Volkswagenstiftung Momentum endeavor (2023)

Grants and Projects: He leads the EU/H2020 Project SAFE-10-T (2021) and secured funding from the German Science Foundation (2016) for synthesizing GUI code. His Open-MPW-6 program (2023) involves hardware implementation of runtime monitoring.