UURIMISTEMAATIKA - PROGRAMMIDE SEMANTIKA, PROGRAMMIDE KOOSTAMISE FORMAALSED MEETODID, TEADMUSLIK PROGRAMMEERIMINE
Publikatsioonide loetelu
- lõpetas Tartu Ülikooli (matemaatika, 1979)
- tehnikakandidaat (1984)
- Küberneetika Instituut, insener (1979-1981), aspirant (1981-1984), teadur, vanemteadur (1984-1985)
- Üleliidulise projekti "Start - uue põlvkonna programmeerimiskeskkonnad" programmeerimiskeelte osakonna juhataja (1988-1991)
- Küberneetika Instituut, programmeerimiskeelte ja -süsteemide uurimisgrupi juht (1988-1991)
- TPedI, lektor ja dotsent (1988-1991)
- Tallinna Tehnikaülikool (TÜ), dotsent (1990-1994)
- Küberneetika Instituut, tarkvaraosakonna juhataja (1992-1997)
- TTÜ, professor, teoreetilise informaatika õppetooli juhataja (1994-...)
- TTÜ Küberneetika Instituudi direktor (1997-...)
- TTÜ Infotehnoloogiakeskuse juhataja (1997-...)
TTÜ
Küberneetika Instituut, Akadeemia 21, Tallinn 12618
29/03/2000 webmaster