- 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 hyperproperties,
- SMT solving with a focus on real algebra,
- SMT-based planning and scheduling,
- energy optimization.
Curriculum vitae
Projects
Teaching
School activities
Women in Computer Science
Some further links: ACM-WE interview