Erika Ábrahám

abraham

Email
abraham at cs.rwth-aachen.de
Address
Room 4229
Ahornstraße 55
D-52074 Aachen
Phone
+49 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:

SYNASC’18, Dean’s Workshop at ECSS’18, PhD-iFM’18, GE@ICSE’18, SC-square session at ICMS’18, SNR’17, PhD-iFM’17, iFM’16, SC²’16, SNR’16, TACAS’14, FORTE’14

PC member:

Publications

Talks

Projects

Teaching

Curriculum vitae

School activities

Women in Computer Science