Erika Abraham
Themenschwerpunkt: Formale Methoden
Webseiten/Blogs/Soziale Medien:
https://ths.rwth-aachen.de/people/erika-abraham/
Sprache/n: Englisch, Deutsch, Ungarisch
Stadt: Aachen
Land: Deutschland
Themen: computer science, logic
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:
Invited talk at the 30th Nordic Workshop on Programming Theory (NWPT'18), Oslo, Norway, 24-26 Oct 2018
Dieser Vortrag ist auf: Englisch
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
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
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
Invited lecture at the Halmstad Summer School on Cyber-Physical Systems, Halmstad, Sweden, 11-15 Jun 2018
Dieser Vortrag ist auf: Englisch
Invited talk at the the event Gender x Informatik, University of Chemnitz, Germany, 4 May 2018
Dieser Vortrag ist auf: Deutsch
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
Invited talk at fortiss GmbH, München, Germany, 20 Oct 2017
Dieser Vortrag ist auf: Englisch
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
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
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
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
Invited talk at the University of Waterloo, Waterloo, Canada, 21 Mar 2017
Dieser Vortrag ist auf: Englisch