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

SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
NSAD 2020 Invited Speaker of Invited Talk: Abstract Domains in SMT Solving for Real Algebra within the NSAD-track
OPCT 2019 Author of Hybrid Systems Reachability Analysis within the OPCT 2019-track
PADL 2019 Committee Member in Program Committee within the PADL 2019-track
VMCAI 2017 Committee Member in Program committee
SPIN 2017 Committee Member in Program Committee