10.12.2012 Aufrufe

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

40 Jahre Informatik in München - Fakultät für Informatik - TUM

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Professur I-4 <strong>für</strong> Theorie der<br />

Programmierung<br />

Tobias Nipkow<br />

Tobias Nicolas Nipkow<br />

8. März 1958, Freiburg<br />

deutsch<br />

Dipl.-Inform., Ph.D.<br />

Diss.: Behavioural Implementation Concepts<br />

for Nondeterm<strong>in</strong>istic Data Types<br />

http://www.<strong>in</strong>.tum.de/~nipkow/<br />

Beruflicher Werdegang:<br />

1982 Diplom <strong>in</strong> <strong>Informatik</strong>, TH Darmstadt<br />

1987 Ph.D., University of Manchester<br />

1986 –1987 Lecturer, University of Manchester<br />

1987 –1989 Postdoc, MIT<br />

1989 –1991 Postdoc, University of Cambridge<br />

Jan 1992 – Professor (C3), <strong>Informatik</strong>, TU <strong>München</strong><br />

306

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!