Erika Ábrahám-Mumm

Pronouns: she/her

Full Professor, Faculty of Computer Science, RWTH Aachen University, Rheinisch Westfälische Technische Hochschule Aachen

  • Joined July 2019

Names

Erika Ábrahám-Mumm

Emails

****@cs.rwth-aachen.de (Confirmed)

Personal Links

Career & Education History

Full Professor
Faculty of Computer Science, RWTH Aachen University, Rheinisch Westfälische Technische Hochschule Aachen (cs.rwth-aachen.de)
2013 – Present
 

Advisors, Relations & Conflicts

No relations added

Expertise

Formal methods, modeling, verification, synthesis
Present
 
Cyber-physical systems, hybrid systems, dynamucal systems, contril
Present
 
Probabilistic systems, stochastic systems, uncertainty, randomized behavior
Present
 
Logic, satisfiability checking, SMT solving, real algebra, real arithmetic, computer algebra
Present