Email

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

2021
[bibtex] @conference{EFTLPSI2021, title = {Extending the Fundamental Theorem of Linear Programming for Strict Inequalities}, author = {Jasper Kurt Ferdinand Nalbach and Erika Ábrahám and Gereon Kremer}, publisher = {Association for Computing Machinery}, booktitle = {ACM Conferences}, pages = {313-320}, type = {Conference Paper}, year = {2021}, doi = {10.1145/3452143.3465538}, url = { https://publications.rwth-aachen.de/record/823081}, }× [issue]	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
[bibtex] @masterthesis{AS2020, title = {A novel adaption of the Simplex algorithm for linear real arithmetic}, author = {Jasper Kurt Ferdinand Nalbach}, institution = {RWTH Aachen University}, pages = {79 Seiten}, type = {Master Thesis}, year = {2020}, doi = {10.18154/RWTH-2021-04303}, url = { https://publications.rwth-aachen.de/record/818122}, }× [issue]	Jasper Kurt Ferdinand Nalbach, Gereon Kremer. A novel adaption of the Simplex algorithm for linear real arithmetic, Master Thesis, RWTH Aachen University, 79 Seiten, 2020.
Show all