- nalbach at cs.rwth-aachen.de
- Phone
- +49 241 80 21243
- Address
- Room 4228
Ahornstraße 55
D-52074 Aachen
I am an associate member of the UnRAVeL training group.
Research Interests
- SMT solving
- Nonlinear real arithmetic
- Cylindrical Algebraic Decomposition
- Linear arithmetic
Teaching Assistance
- Lecture: Satisfiability Checking (WS20/21)
- Seminar: Satisfiability Checking (SS20, WS20/21, SS21)
- Proseminar: Formale Methoden (WS20/21, SS21)
- Practical lab: Neural network verification with Reluplex (WS20/21)
- Lecture: Algorithmen und Datenstrukturen (SS20)
Fur supervised theses see here.
Publications
| Show all |
|---|