Log In

Erika Abraham Edit Profile

Computer scientist

Erika Abraham, Hungarian, German computer scientist. Achievements include research in deductive verification of class-based object-oriented multithreaded programs; research in deductive verification of hybrid systems; research in bounded model checking for hybrid systems. Recipient Outstanding Thesis award, Christian Albrechts University, 1999.

Background

Abraham, Erika was born on November 9, 1970 in Szeged, Hungary. Daughter of Imre Abraham and Piroska Bencsik.

Education

Diploma, Christian Albrechts University, Kiel, Germany. Doctor of Philosophy, University Leiden, Netherlands.

Career

Research assistant Christian Albrechts University, 1999—2005. Researcher Albert Ludwigs University, Freiburg i.Br., Germany, 2005—2007, Forschungszentrum Jülich GmbH, Germany, since 2007. Guest researcher Rheinisch-Westfälische Technische Hochschule Aachen, Germany, 2006—2007.

Achievements

  • Achievements include research in deductive verification of class-based object-oriented multithreaded programs. Research in deductive verification of hybrid systems. Research in bounded model checking for hybrid systems.

Interests

  • Other Interests

    Reading.

Connections

Children: Judith Mumm, Andras Mumm.

father:
Imre Abraham

mother:
Piroska Bencsik

children:
Judith Mumm Abraham

Andras Mumm Abraham