Erika Abraham


Themenschwerpunkt: Formale Methoden

Webseite/Blog: https://ths.rwth-aachen.de/people/erika-abraham/

Sprache/n: Englisch, Deutsch, Ungarisch

Stadt: Aachen

Land: Deutschland

Themen: computer science, logic

Biografie:

Erika Abraham studied computer science at the Christian-Albrechts-University Kiel (Germany) and received her PhD from the University of Leiden (the Netherlands) for her work on the development and application of deductive proof systems for concurrent programs. Then she moved to the Albert-Ludwigs-University Freiburg (Germany), where she started to work on the development and application of SAT and SMT solvers. Currently she is full professor at RWTH Aachen University (Germany), with main research focus on formal (mathematical) algorithms and tools that help to develop correct and safe systems, including verification and synthesis for hybrid and probabilistic systems, and SMT solving for real and integer arithmetic. She has more than 100 publications, gave more than 50 invited talks, and served in over 70 program committees of international conferences and workshops.

Vorträge / Referenzen:

Symbolic Computation Techniques in SMT Solving: Mathematical Beauty meets Efficient Heuristics

Invited talk at the 30th Nordic Workshop on Programming Theory (NWPT'18), Oslo, Norway, 24-26 Oct 2018

Dieser Vortrag ist auf: Englisch
Heuristics in SMT Solving: To Learn or not to Learn?

Invited talk at the International Congress on Mathematical Software (ICMS'18), Session 8: Machine Learning for Mathematical Software, South Bend, USA, 24-27 Jul 2018

Dieser Vortrag ist auf: Englisch
Old-established methods in a new look: How HyPro speeds up reachability computations for hybrid systems

Invited talk at the the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'18), Oxford, UK, 11-13 Jul 2018

Dieser Vortrag ist auf: Englisch
SMT Solving for AI Planning: Theory, Tools and Applications

Tutorial at the 28th International Conference on Automated Planning and Scheduling (ICAPS-18) at Delft, the Netherlands, 25 June 2018.

Dieser Vortrag ist auf: Englisch
Reachability Analysis Techniques for Hybrid Systems

Invited lecture at the Halmstad Summer School on Cyber-Physical Systems, Halmstad, Sweden, 11-15 Jun 2018

Dieser Vortrag ist auf: Englisch
Frauen in der Informatik: Brauchen wir noch Gleichstellung?

Invited talk at the the event Gender x Informatik, University of Chemnitz, Germany, 4 May 2018

Dieser Vortrag ist auf: Deutsch
Symbolic Computation Techniques in SMT Solving

Invited talk at the Evening Seminar of the London Mathematical Society and the British Computer Society at London, UK, 02 Nov 2017.

Dieser Vortrag ist auf: Englisch
The Power of Satisfiability Checking

Invited talk at fortiss GmbH, München, Germany, 20 Oct 2017

Dieser Vortrag ist auf: Englisch
Overview of Current Research in the Theory of Hybrid Systems Group

Talk at the Workshop on Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS), Münster, Germany, 25-26 Sep 2017

Dieser Vortrag ist auf: Englisch
SMT Solving for Real Algebra

Invited talk at the International Conference on Mathematics and Informatics (MathInfo'17), Targu Mures/Marosvásárhely, Romania, 07-09 Sep 2017

Dieser Vortrag ist auf: Englisch
Techniques and Tools for Hybrid Systems Reachability Analysis

Invited talk at the Int. Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems (RISE4CPS), Heidelberg, Germany, 22-23 Jul 2017

Dieser Vortrag ist auf: Englisch
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis

Invited talk at the International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17), Uppsala, Sweden, 23 Apr 2017

Dieser Vortrag ist auf: Englisch
Exploiting Symbolic Computation Techniques in SAT-Modulo-Theories Solving

Invited talk at the University of Waterloo, Waterloo, Canada, 21 Mar 2017

Dieser Vortrag ist auf: Englisch