Jüri Vain
Jüri Vain (1980. aastani Jüri Viin; sündinud 5. juulil 1956 Kärdlas) on eesti tehnikateadlane ja informaatikaõppejõud.[1]
Haridus
[muuda | muuda lähteteksti]Vain lõpetas 1974. aastal Kärdla Keskkooli ja 1979. aastal Tallinna Polütehnilise Instituudi elektroautomaatika teaduskonna automatiseeritud juhtimissüsteemide erialal.[1]
Aastatel 1981–1984 oli ta aspirantuuris Eesti NSV TA Küberneetika Instituudis.[1] ning sai 1987. aastal tehnikateaduste kandidaadi kraadi väitekirjaga "Methods of analysis for LAN protocols of control systems", juhendaja professor Leo Mõtus).[1][2]
Ta täiendas end Tampere Tehnikaülikoolis 1990 ja 1995, Eindhoveni tehnikaülikoolis 1993 ja 1994 ning Taani tehnikaülikoolis 1994 ja 1995.[3]
Töö
[muuda | muuda lähteteksti]Jüri Vain oli Küberneetika Instituudi vaneminsener 1978–1981, arvutustehnika erikonstrueerimisbüroo (AT EKB) insener-programmeerija 1984–1992 ja juhtimissüsteemide osakonna juhataja 1991–1997.[1][2]
Ta töötab Tallinna Tehnikaülikoolis aastast 1988: küberneetika baaskateedri vanemõpetaja 1988–1989, automaatikainstituudi lektor ja dotsent 1995–1997, TTÜ Küberneetika Instituudi vanemteadur 1997–2015, instituudi juhtimissüsteemide osakonna juhataja 1997–1998, arvutiteaduse instituudi professor, üldinformaatika õppetooli juhataja 1998–2016, instituudi direktor 2001–2016; tarkvarateaduse instituudi professor aastast 2017 (alates 2019 kaasprofessor tenuuris).[2][4]
Ta oli Oslo Ülikooli informaatikainstituudi külalisprofessor 2000.[1]
Teadustöö
[muuda | muuda lähteteksti]Vainu teadustöö põhisuunad on formaalsed meetodid sard- ja reaalaja süsteemide modelleerimisel, disainil ja verifitseerimisel, mudelipõhise testimise teooria; formaalmeetodite rakendamine autonoomsetes robotites (reaktiivne ülesannete planeerimine) ja parverobootikas (suurte robotformatsioonide ilmneva käitumise omaduste tõestamise meetodid).[1][2]
Jüri Vainult on ilmunud üle 200 teaduspublikatsiooni. Tema juhendamisel on kaitstud 26 magistri- ja 9 doktoritööd.[2]
Teadusorganisatoorne ja -administratiivne tegevus
[muuda | muuda lähteteksti]Vain on kuulunud järgmistesse teadusorganisatsioonidesse.[1][2]
- Eesti Automaatikute Seltsi juhatuse liige 1992–2002
- IEE (ÜK) liige 1992–1998
- lLigi 30 rahvusvahelise konverentsi programmi- või korralduskomitee liige 1994–2019
- IFAC TC Advanced Manufacturing Technology liige 1997–1999
- IFAC TC Real Time Software Engineeringu liige 1999–2003
- IFIP Working Group 2.2 vaatleja 2000
- ELi 6. raamprogrammi teadusvõrgustiku EURON "European Robotics Network" juhtkomitee liige 2004–2007
- TTÜ ja ELIKO Tehnoloogia Arenduskeskuse algatatud ROBOSWARMi projekti (ELi 6. raamprogrammi teadusprojekt) koordinaator 2006–2009
- Põhjamaade teadusvõrgustiku Network on Dependable Computing Eesti-poolne koordinaator 2006–2009
Tunnustus[1][2]
[muuda | muuda lähteteksti]- ELKNÜ teaduspreemia kooliarvuti "Juku" väljatöötamise eest 1983
- Atesteeritud elektriinsener (IEE, ÜK) 1992
- Philipsi preemia koostöö eest Eindhoveni Tehnoloogiaülikooli arvutiteaduseinstituudiga 1994
- Eesti TA Küberneetika Instituudi 1996. a parima publikatsiooni preemia 1996
- Kirurgi abiroboti loomine (koostööprojekt) – Tokyo Denki Ülikooli tippkeskuse HAM 2005. aasta parim teadustulemus 2005.
- TTÜ teenetemedal Mente et Manu 2019
- Parim publikatsioon konverentsil "10th International Conference on Dependable Systems, Services and Technologies" (DESSERT), 5.–7. juuni 2019, Leeds, Suurbritannia
Harrastused
[muuda | muuda lähteteksti]Vain huvitub muusikast, kalastamisest, klassikalisest filosoofiast ja antiikajaloost ning ulmekirjandusest.[1]