Erika Ábrahám

abraham

Email
abraham at cs.rwth-aachen.de
Address
Room 4229
Ahornstraße 55
D-52074 Aachen
Phone
+49 (0)241 80 21242

Research interests

My research interests include

  • decision procedures, SMT-solving,
  • non-linear optimization,
  • bounded model checking,
  • modeling, synthesis, and analysis of hybrid systems,
  • analysis of probabilistic systems, counterexample generation.

PC co-chair:

PC member:

Publications

Talks

Projects

Teaching

Curriculum vitae

School activities

Women in Computer Science