In order to deliver a personalised, responsive service and to improve the site, we remember and store information about how you use it. I agree
This is done using simple text files called cookies which sit on your computer. These cookies are completely safe and secure and will never contain any sensitive information. Important: To use the full functionality of this site (e.g. login, registration and sending mail to the speakers) you have to agree to the use of cookies. For web statistics we use Matomoto which also uses cookies. These can be deactivated separately. Find more information about data security in our privacy policy.

Erika Abraham


Main focus: Formal methods

Website/blog: https://ths.rwth-aachen.de/people/erika-abraham/

Languages: English, German, Hungarian

City: Aachen

Country: Germany

Topics: computer science, synthesis, hybrid systems, optimisation, probabilistic systems, satisfiability checking, proof systems, smt solving, logic, verification

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

This talk is in: English
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

This talk is in: English
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

This talk is in: English
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.

This talk is in: English
Reachability Analysis Techniques for Hybrid Systems
Video Thumbnail

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

This talk is in: English
Frauen in der Informatik: Brauchen wir noch Gleichstellung?

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

This talk is in: German
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.

This talk is in: English
The Power of Satisfiability Checking
Video Thumbnail

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

This talk is in: English
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

This talk is in: English
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

This talk is in: English
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

This talk is in: English
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

This talk is in: English
Exploiting Symbolic Computation Techniques in SAT-Modulo-Theories Solving

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

This talk is in: English