Kotta, Ülletarkvarateaduse instituut, juhtivteadurTalTechis: 1978-1983, 1986-1989, 1997-     

Uustalu, Tarmotarkvarateaduse instituut, juhtivteadurTalTechis: 1997-