Email

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