- gereon.kremer 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
- Integer arithmetic
Teaching
- SS 2016: Seminar Satisfiability Checking
- SS 2016: Practical Course SMT-Solving
- WS 2015/16: Lecture Satisfiability Checking
- WS 2015/16: Practical Course SMT-Solving
- WS 2015/16: Proseminar Algorithms and Tools for Verification
- SS 2015: Practical Course SMT-Solving
- SS 2015: Seminar Satisfiability Checking
- WS 2014/15: Lecture Satisfiability Checking
- WS 2014/15: Practical Course SMT-Solving
- WS 2014/15: Proseminar Algorithms and Tools for Verification
- SS 2014: Seminar Satisfiability Checking
- SS 2014: Proseminar Wurzeln der Informatik
- WS 2013/14: Proseminar Algorithms and Tools for Verification
Warning: SQLite3::prepare(): Unable to prepare statement: 5, database is locked in /var/www/html/inc/sqlite-access.php on line 428
Fatal error: Uncaught SQLiteAccessException: Could not prepare statement: REPLACE INTO publications (pub_id, type_id, title, year, pages, publisher, institution, arxiv_id, doi_id, fulltext) VALUES (:pub_id, :type_id, :title, :year, :pages, :publisher, :institution, :arxiv_id, :doi_id, :fulltext); in /var/www/html/inc/sqlite-access.php:433 Stack trace: #0 /var/www/html/inc/sqlite-access.php(64): dbAccess->prepare('REPLACE INTO pu...') #1 /var/www/html/inc/sqlite-access.php(45): dbAccess->prepareStmts() #2 /var/www/html/index.php(73): dbAccess->__construct('/var/www/html/d...', 1) #3 {main} thrown in /var/www/html/inc/sqlite-access.php on line 433