1955-1966: Schulbesuch in Leningrad (jetzt St. Petersburg)
1966: Abschlussprüfung, Attestat,
    Immatrikulation an der Math. Fakultät der Leningrader Univesität
1966-1973: Universitätsstudium:
    2 Sem. an der Leningrader Universität (UdSSR),
    4 Sem. an der Universität Breslau (Polen),
    6 Sem. an der Universität Warschau (Polen)
1973: Diplomarbeit aus dem Bereich Math. Logik,
    Universität Warschau
1973-1976: Aspirantur am Steklov Institut der Akad. der Wissenschaften
   in Leningrad
1977-1979: Assistent am Lehrstuhl für Höhere Mathematik im Leningrader
   Schiffsbauinstitut
1978: Prämie der Leningrader Math. Gesellschaft des Jahres 1978 für
   Junge Mathematiker
1980-1983: Freier Mitarbeiter, dann Beteiligung am DFG-Forsch.projekt
    am Math. Institut der Universität München
1983-1992: Wiss. Ang., seit Okt. 1988 Wiss. Assistent an der Math. Fakultät
   und (seit der Gründung) an der Fakultät für Informatik der Universität
   Tübingen
1985: Verleihung des Doktorgrades (doctor rer. nat.), Fach Mathematik,
   Universität München
1991: Gewählt als Founding Fellow of the Institute of Combinatorics and its
   Applications (FTICA)
1992: Habilitation an der Mat. Fakultät und Lehrbefugnis für das Fach
   Informatik an der Universität Tübingen
Seit 1992: Privatdozent am WSI für Informatik (Lehrstuhl Math. Logik, dann Logik und Sprachtheorie) an der Universität Tübingen; Lehrveranstaltungen an der Fakultät für Informatik:
    Schwerpunkt: Logik für Informatiker und Berechenbarkeit.

Druckversion: ps | pdf