- promies at cs.rwth-aachen.de
- Phone
- +49 241 80 21243
- Address
- Room 4228
Ahornstraße 55
D-52074 Aachen
I am a doctoral student of the Theory of Hybrid Systems group since September 2022.
Research Interests
- SMT solving
- (Non-)linear real arithmetic
Teaching Assistance
- Lecture: Satisfiability Checking (WS22/23, WS23/24)
- Seminar: Satisfiability Checking (SS23)
- For supervised theses see here.
Publications
| Show all |
|---|