Erika Abraham

Registered user since Mon 31 Oct 2016

Name:Erika Abraham
Bio:
  • 2013-today: Full professor, RWTH Aachen University, Germany. Head of the research group Theory of Hybrid Systems. Research topics: SMT solving, formal methods for probabilistic and hybrid systems.

  • 2008-2013: Junior professor, RWTH Aachen University, Germany. Head of the junior research group Theory of Hybrid Systems. Research topics: SMT solving, formal methods for probabilistic and hybrid systems.

  • 2007-2008: Postdoctoral researcher, Jülich Research Centre, Germany. Research topics: parallel and high-performance computing, performance analysis.

  • 2005-2007: Postdoctoral researcher, Albert-Ludwigs-University Freiburg, Germany. Research topics: Verification of hybrid systems, bounded model checking, SAT and SMT solving.

  • 1999-2005: Ph.D. student, Christian-Albrechts-University Kiel, Germany. Research topics: Deductive proof systems for multithreaded object-oriented languages.

Country:Germany
Affiliation:RWTH Aachen University
Research interests:Computer Science, Satisfiability Checking, SMT Solving, Formal Methods, Verification, Analysis, Synthesis, Hybrid Systems, Probabilistic Systems

Contributions

NASA Formal Methods Subtropical Satisfiability for SMT Solving
Show activities from other conferences

NASA Formal Methods-profile
View general profile