Erika Abraham | Formal Methods | Best Researcher Award

Prof Dr. Erika Abraham | Formal Methods | Best Researcher Award

Professor at RWTH Aachen University, Germany

Dr. Erika Abraham is a renowned expert in computer science, particularly in the field of hybrid systems and formal methods. With a Ph.D. from the University of Leiden, she has established herself as a leading researcher and educator. Her work spans various areas, including performance analysis tools, non-linear hybrid systems, and parameter synthesis for probabilistic verification. Dr. Abraham has received numerous awards for her contributions, such as the Brigitte-Gilles award for improving gender balance in computer science and several first-place recognitions in competitions. As a professor at RWTH Aachen University, she has taught and supervised doctoral students, demonstrating her commitment to education and knowledge dissemination. Her research has significantly impacted the field of computer science and continues to inspire advancements in technology and academia.

Professional Profiles:

๐Ÿ“š Education:

Dr. Erika Abraham completed her Ph.D. at the University of Leiden, The Netherlands, in January 2005. Her research was supervised by Professors W.-P. de Roever and J. N. Kok, with co-supervision from Professors F. S. de Boer and M. Steffen. Prior to her Ph.D., she received her Diploma from the Christian-Albrechts-University of Kiel, Germany, in February 1999, with a major in Computer Science and a minor in Physics. She graduated with distinction, receiving an average mark of 1.0, which is a distinguishing award.

๐Ÿ—ฃ๏ธWork experience:

Since 2013, Dr. Erika Abraham has served as a Full Professor at RWTH Aachen University in Germany, where she leads the research group “Theory of Hybrid Systems.” Prior to this, from 2008 to 2013, she held the position of Junior Professor at the same university, heading the junior research group “Theory of Hybrid Systems.” Dr. Abraham’s academic career includes roles as a Postdoctoral Researcher at the Jรผlich Research Centre in Germany from 2007 to 2008, and at the Albert-Ludwigs-University Freiburg in Germany from 2005 to 2007. She began her academic journey as a Ph.D. student at the Christian-Albrechts-University Kiel in Germany from 1999 to 2005.

Awards and patents:

Dr. Erika Abraham has received several prestigious awards and holds patents for her innovative work in computer science and related fields. She was honored with the Brigitte-Gilles award from RWTH Aachen University for her efforts in improving gender balance in computer science. Dr. Abraham was also appointed as a Guest Professor at TU Wien in March 2020. Her accomplishments extend to winning the first place in the SMT Competition for three consecutive years from 2018 to 2020, in the category QF NIRA (quantifier-free non-linear mixed integer-real arithmetic). In 2018, she also achieved first place in the Planning and Execution Competition for Logistics Robots in Simulation. Dr. Abraham’s contributions to the field have been recognized with the Best Paper Award at the CSI International Symposium on Computer Science and Software Engineering (CSSEโ€™11) and the Best Presentation Award at the International Conference on Engineering of Complex Computer Systems (ICECCSโ€™01). Additionally, she received a distinguishing award for her Diploma thesis from the Christian-Albrechts-University of Kiel in 1999. Furthermore, Dr. Abraham is the inventor of two patents: one for a method and system for controlling loads in a building (EP4145243A1) and another for controlling building services using a neural network (RWTH-AZ 2567). Her innovative work and contributions to the field have been recognized both nationally and internationally, highlighting her exceptional talent and dedication to advancing computer science.

Teaching experience:

Since 2008, Dr. Erika Abraham has been actively involved in teaching at RWTH Aachen University, where she conducts lectures, seminars, and practical courses for Bachelor’s and Master’s students. Annually since 2009, she has taught a lecture on Satisfiability Checking during the winter term, with an average evaluation of 1.5 (on a scale of 1-5, with 1 being the best). Similarly, since 2010, she has delivered a lecture on Modeling and Analysis of Hybrid Systems each summer term, with an average evaluation of 1.6. Additionally, Dr. Abraham conducts seminars and practical courses each semester, engaging students in various topics. In specific terms, during the summer term of 2014, she taught Data Structures and Algorithms to approximately 600 students, receiving an average evaluation of 1.7. Furthermore, in the winter term of 2017/18, she conducted a Bridging Course on the Foundations of Informatics, and in the summer term of 2020, she taught Algorithms and Data Structures (Service) to around 150 students. In addition to her undergraduate and graduate teaching, Dr. Abraham is actively involved in doctoral studies, where she conducts tutorials and courses on advanced topics in computer science. This includes tutorials on SMT Solving at various prestigious institutions such as the Marktoberdorf Summer School in Germany, the Summer School of the European Research Training Network on Reliable AI for Marine Robotics (REMARO) in Aachen, Germany, and the Summer School on Automated Reasoning in the Class (ARC) in Linz, Austria. She has also conducted doctoral courses on Reachability Analysis Techniques for Hybrid Systems at TU Wien in Austria, Modeling and Analysis of Hybrid Systems at the University of Szeged in Hungary, and Formal Methods for Hybrid Systems at the University of Genoa in Italy. Dr. Abraham’s commitment to excellence in teaching and research is reflected in her diverse and impactful contributions to the field of computer science education.

 

๐Ÿ“šPublications :

The Scalasca performance toolset architecture

Authors: M Geimer, F Wolf, BJN Wylie, E รbrahรกm, D Becker, B Mohr

Citations: 671

Year: 2010

Flow: An analyzer for non-linear hybrid systems*

Authors: X Chen, E รbrahรกm, S Sankaranarayanan

Citations: 666

Year: 2013

Taylor model flowpipe construction for non-linear hybrid systems

Authors: X Chen, E Abraham, S Sankaranarayanan

Citations: 269

Year: 2012

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

Authors: C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, …

Citations: 149

Year: 2015

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving

Authors: F Corzilius, G Kremer, S Junges, S Schupp, E รbrahรกm

Citations: 117

Year: 2015

Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications

Authors: F Wolf, BJN Wylie, E Abraham, D Becker, W Frings, K Fรผrlinger, M Geimer, …

Citations: 92

Year: 2008

HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis

Authors: S Schupp, E รbrahรกm, IB Makhlouf, S Kowalewski

Citations: 83

Year: 2017

Accelerating parametric probabilistic verification

Authors: N Jansen, F Corzilius, M Volk, R Wimmer, E รbrahรกm, JP Katoen, …

Citations: 76

Year: 2014

Verification for Javaโ€™s reentrant multithreading concept

Authors: E Abrahรกm-Mumm, FS De Boer, WP de Roever, M Steffen

Citations: 73

Year: 2002

DTMC model checking by SCC reduction

Authors: E Abrahรกm, N Jansen, R Wimmer, JP Katoen, B Becker

Citations: 66

Year: 2010

A greedy approach for the efficient repair of stochastic models

Authors: S Pathak, E รbrahรกm, N Jansen, A Tacchella, JP Katoen

Citations: 60

Year: 2015

Verification of hybrid systems: Formalization and proof rules in PVS

Authors: E รbrahรกm-Mumm, U Hannemann, M Steffen

Citations: 60

Year: 2001

Counterexample generation for discrete-time Markov models: An introductory survey

Authors: E รbrahรกm, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer

Citations: 58

Year: 2014