ETHistory 1855-2005 | Rückblicke | Departemente | INFK | Weitere Seiten | professoren | Biografien | Robert Stärk, 1963- |
|
|
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet.
Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren.
Weitere Informationen finden Sie auf
folgender Seite.
Important Note:
The content in this site is accessible to any browser or Internet device,
however, some graphics will display correctly only in the newer versions of
Netscape.
To get the most out of our site we suggest you upgrade to the latest
Netscape.
More information
Robert Stärk war seit dem 1. April 1999 Assistenzprofessor für Informatik am Institut für Theoretische Informatik der ETH Zürich. Im Januar 2005 verliess er die ETH. Robert Stärk, geboren am 19. November 1963, von Rheineck SG, studierte Mathematik an der ETH Zürich und doktorierte 1992 bei Prof. Gerhard Jäger an der Universität Bern. 1992-1994 Alexander von Humboldt Stipendium an der Universität München. 1994-1996 Nationalfonds Stipendium an der Stanford University und an der University of Pennsylvania. 1996-1999 Oberassistent an der Universität Freiburg i.Ue. 1997 Fritz-Winter-Forschungspreis. Schwerpunkte seiner Forschung sind Logikprogrammierung, formale Programmverifikation, deduktive Systeme, interaktives Beweisen, Beweistheorie, mathematische Logik. |