Stefan Conrad


Dr. rer. nat. Technische Universität Carolo-Wilhelmina zu Braunschweig 1994 Germany
Dissertation: Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte (A Basis Calculus for Verifying Properties of Synchronously Interacting Objects)
Mathematics Subject Classification: 68—Computer science

Advisor 1: Hans-Dieter Ehrich
Advisor 2: Rudolf Kruse

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Altareva, EvgeniyaHeinrich-Heine-Universität Düsseldorf2004
de Laborda Schwankhart, CristianHeinrich-Heine-Universität Düsseldorf2006
Popfinger, ChristopherHeinrich-Heine-Universität Düsseldorf2006
Samia, MireilleHeinrich-Heine-Universität Düsseldorf2006
Omari, AsemHeinrich-Heine-Universität Düsseldorf2008
Viermetz, MaximilianHeinrich-Heine-Universität Düsseldorf2008
Vompras, JohannaHeinrich-Heine-Universität Düsseldorf2009
Le, HieuHeinrich-Heine-Universität Düsseldorf2010
Mehnert-Spahn, JohnHeinrich-Heine-Universität Düsseldorf2010
Zaiß, KatrinHeinrich-Heine-Universität Düsseldorf2010
Alcic, SadetHeinrich-Heine-Universität Düsseldorf2011
Müller, Marc-FlorianHeinrich-Heine-Universität Düsseldorf2011
Schlüter, TimHeinrich-Heine-Universität Düsseldorf2012
Scholz, ThomasHeinrich-Heine-Universität Düsseldorf2013
Zhao, JiwuHeinrich-Heine-Universität Düsseldorf2013
Ayyildiz, KahramanHeinrich-Heine-Universität Düsseldorf2015
Himmelspach, LudmilaHeinrich-Heine-Universität Düsseldorf2015
Nguyen, ThiHeinrich-Heine-Universität Düsseldorf2015

According to our current on-line database, Stefan Conrad has 18 students and 18 descendants.
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 134457 for the advisor ID.