Show all women speakers >>

Erika Abraham

Formal methods
My bio:

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.

Examples of previous talks / appearances:

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

Select LanguageEnglish


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

Select LanguageEnglish


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

Select LanguageEnglish


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.

Select LanguageEnglish


Reachability Analysis Techniques for Hybrid Systems



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

Select LanguageEnglish


Frauen in der Informatik: Brauchen wir noch Gleichstellung?

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

Select LanguageGerman


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.

Select LanguageEnglish


The Power of Satisfiability Checking



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

Select LanguageEnglish


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

Select LanguageEnglish


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

Select LanguageEnglish


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

Select LanguageEnglish


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

Select LanguageEnglish


Exploiting Symbolic Computation Techniques in SAT-Modulo-Theories Solving

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

Select LanguageEnglish