Rüdiger Ehlers (Preferred)
Rüdiger Ehlers
Associate Professor, Institute for Software and Systems Engineering, Technische Universität Clausthal
Joined
October 2025
Names
Emails
****@tu-clausthal.de (Confirmed)
****@ruediger-ehlers.de (Confirmed)
Personal Links
Career & Education History
Associate Professor
Institute for Software and Systems Engineering, Technische Universität Clausthal (tu-clausthal.de)
2019 – Present
Advisors, Relations & Conflicts
Expertise
Verification of machine-learned models
2017 – Present
Automata Theory
2007 – Present
Formal Languages
2007 – Present
Publications
Co-Authors
- Adam Walker
- Andreas Rausch
- Andreas Reinhardt
- Anvay Grover
- Armin Biere
- Ayca Balkan
- Ayrat Khalimov
- Bader Abu Radi
- Basel Alhaji
- Bernd Becker
- Bernd Finkbeiner
- Bettina Könighofer
- Brenna Argall
- Bruno Schmitt
- Christian Pek
- Christian Rembe
- Christoffer Heckman
- Christoph Knieke
- Christoph Schwindt
- Christopher Amato
- Daniel Fass
- Daniel Neider
- Daniela Moldovan
- Delphine Reinhardt
- Dhananjay Raju