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

Current research activities:

  • modeling, synthesis, and analysis of hybrid systems,
  • analysis of probabilistic systems, probabilistic hyper-properties,
  • SMT-solving with a focus on decision procedures for real-arithmetic theories,
  • SMT-based planning and scheduling,
  • energy optimization.

PC co-chair:

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

PC member:

Publications
Talks
Projects
Teaching
Curriculum vitae
School activities
Women in Computer Science