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 listed in chronological order.

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

According to our current on-line database, Stefan Conrad has 19 students and 19 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.