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.
Affiliation: RWTH Aachen University
Personal website: http://ths.rwth-aachen.de/people/erika-abraham/
Research interests: Computer Science, Satisfiability Checking, SMT Solving, Formal Methods, Verification, Analysis, Synthesis, Hybrid Systems, Probabilistic Systems
|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|