Rüdiger Ehlers


Rüdiger Ehlers
Professor for Embedded Systems
Clausthal University of Technology
Institute for Software and Systems Engineering
Arnold-Sommerfeld-Straße 1
38678 Clausthal-Zellerfeld

Phone (at TU Clausthal): +49 5323 / 72-7148

E-Mail Address: mail<current-4digit-year>@ruediger-ehlers.de

You can download my GnuPG/PGP key here.

Research Interests

I am working on making the design process of correct-by-construction computational systems more efficient. My focus areas are:

  • Reactive synthesis

  • Reasoning engines for logical problems

  • Verification of finite-state and infinite-state systems

  • Bridging the gap between formal methods and artificial intelligence

More information can be found on my research page.