Erika Ábrahám (Preferred)
Erika Ábrahám-Mumm
Erika Abraham
Erika Ábrahám
Full Professor, Faculty of Computer Science, RWTH Aachen University, Rheinisch Westfälische Technische Hochschule Aachen
Joined
July 2019
Names
,
,
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
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
Publications
No publications