
- nalbach 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 an associate member of the UnRAVeL training group since April 2020.
Research Interests
- SMT solving
- Nonlinear real arithmetic
- Cylindrical Algebraic Decomposition
- Linear arithmetic
Teaching Assistance
- Lecture: Satisfiability Checking (WS20/21, WS21/22)
- Lecture: Modeling and Analysis of Hybrid Systems (SS21)
- Lecture: Algorithmen und Datenstrukturen (SS20, SS22)
- Seminar: Satisfiability Checking (SS20, WS20/21, SS21, WS21/22, SS22)
- Proseminar: Formale Methoden (WS20/21, SS21, WS21/22)
- Practical lab: Neural network verification with Reluplex (WS20/21)
For supervised theses see here.
Publications
2021 | |
---|---|
![]() |
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Gereon Kremer. Extending the Fundamental Theorem of Linear Programming for Strict Inequalities, International Symposium on Symbolic and Algebraic Computation (ISSAC '21), ACM Conferences, 313-320, Association for Computing Machinery, 2021. |
2020 | |
![]() ![]() |
Jasper Kurt Ferdinand Nalbach. A novel adaption of the Simplex algorithm for linear real arithmetic, Master Thesis, RWTH Aachen University, 79 Seiten, 2020. |
2019 | |
![]() ![]() |
Jasper Kurt Ferdinand Nalbach, Gereon Kremer, Erika Ábrahám. On Variable Orderings in MCSAT for Non-linear Real Arithmetic: (extended abstract), 4th Workshop on Satisfiability Checking and Symbolic Computation (SC-square), Volume 2460 of CEUR Workshop Proceedings, 7 Seiten, RWTH Aachen, 2019. |
2017 | |
[bibtex] [issue] | Erika Ábrahám, Jasper Kurt Ferdinand Nalbach, Gereon Kremer. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework, 2nd International Workshop on Satisfiability Checking and Symbolic Computation (SC2), Volume 1974 of CEUR Workshop Proceedings, 12 Seiten, RWTH Aachen, 2017. |