Erika Abraham

MathSciNet


Ph.D. Universiteit Leiden 2005 Netherlands
Dissertation: An Assertional Proof System for Multithreaded Java - Theory and Tool Support
Mathematics Subject Classification: 68—Computer science

Advisor 1: Joost Nico Kok
Advisor 2: Willem-Paul de Roever
Advisor 3: Frank Sipke de Boer
Advisor 4: Martin Steffen

Student:

NameSchoolYearDescendants
Jansen, NilsRheinisch-Westfälische Technische Hochschule Aachen2015

According to our current on-line database, Erika Abraham has 1 student and 1 descendant.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 88227 for the advisor ID.