tarkvarateaduse instituut, vanemteadur (2018)

informaatikainst informaatika aluste õppet erakorr v-tead 01.10.2007-31.12.2009

arvutuskeskuse ins, v-teadur 1967-75

Tallinna Telefonivõrgu laboratoorium, montöör 1960-61. Tartu Ülikool v-teadur, v-õpetaja, dotsent, teoreetilise informaatika professor 1975-2007, Tartu Ülikooli emeriitprofessor 2007-...

Tallinna 2. Keskkool (Reaalkool) 1960, TRÜ 1969 mat-teadusk; füüs-mat-knd 1981 (Leningr RÜ)

füüsika-matemaatika kandidaat

TÜs a-st 1978, teoreetilise informaatika korraline prof 1997

TÜ

Vaata publikatsioone