Prof. Dr. Erika Ábrahám



Head of the junior research group Theory of Hybrid Systems in the Computer Science Department at the RWTH Aachen University.

E-mail    abraham at cs.rwth-aachen.de
Phone  
+49-241/80-21242
Fax
       +49-241/80-22243

Postal address
    RWTH Aachen University
                               Informatik 2
                               D-52056 Aachen
                               Germany

Visiting address
   Room 4229
                               Ahornstraße 55
                               52074 Aachen



Research Interests

 

My research interests include

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


Teaching


Theses and exams


Projects


Publications


School Activities


Curriculum Vitae


Upcoming events