Susanne Biundo-Stephan


Ph.D. Karlsruher Institut für Technologie (KIT) 1989 Germany
Dissertation: Automatische Synthese rekursiver Programme als Beweisverfahren

Advisor 1: Peter Deussen

Student:

NameSchoolYearDescendants
Stock, SebastianUniversität Osnabrück2017

According to our current on-line database, Susanne Biundo-Stephan 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 230753 for the advisor ID.