Valentin Promies

Email
promies 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 since September 2022.

Research Interests

  • SMT solving
  • (Non-)linear real arithmetic

Teaching Assistance

  • Lecture: Satisfiability Checking (WS22/23)