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