Sabine Rieder (Preferred)
Sabine Rieder
Pronouns: she/her
PhD student, Masaryk University
PhD student, Technical University of Munich
- Joined June 2024
Names
Emails
****@tum.de (Confirmed)
, ****@in.tum.de (Confirmed)
, ****@mail.muni.cz (Confirmed)
Personal Links
Career & Education History
PhD student
Masaryk University (muni.cz)
2024 – Present
PhD student
Technical University of Munich (tum.de)
2022 – Present
Advisors, Relations & Conflicts
Expertise
Neural Network Verification
Present
Neural Network Abstraction
Present
Runtime Monitoring of Neural Networks
Present
LTL Synthesis
Present