Jasper Nalbach

nalbach
Email
nalbach at cs.rwth-aachen.de
Phone
+49 241 80 21243
Address
Room 4228
Ahornstraße 55
D-52074 Aachen

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)
  • Proseminar: Formale Methoden (WS20/21)
  • Practical lab: Neural network verification with Reluplex (WS20/21)
  • Lecture: Algorithmen und Datenstrukturen (SS20)

Publications

2019
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Gereon Kremer, Jasper Nalbach. On Variable Orderings in MCSAT for Non-linear Real Arithmetic, 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, Gereon Kremer, Jasper Nalbach. 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.