Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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

OPCT 2019 Hybrid Systems Reachability Analysis
PADL 2019 Committee Member in Program Committee within the PADL 2019-track
Show activities from other conferences

POPL 2019-profile
View general profile