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. Vain on 1974. aastal lõpetanud Kärdla Keskkooli ja 1979. aastal Tallinna Polütehnilise Instituudi elektroautomaatika teaduskonna automatiseeritud juhtimissüsteemide erialal. Aastatel 1981–1984 oli ta aspirantuuris Eesti NSV TA Küberneetika Instituudis. 1987. aastast on Vain tehnikateaduste doktor ("Methods of analysis for LAN protocols of control systems", küberneetika instituut, juhendaja prof L. Mõtus). Vain on töötanud järgmistel ametikohtadel. Küberneetika Instituudi vaneminsener 1978–1981, arvutustehnika erikonstrueerimisbüroo (AT EKB) insener-programmeerija 1984–1992, juhtimissüsteemide osakonna juhataja 1991–1997 TTÜs 1988–…: küberneetika baaskateedri vanemõpetaja (0,25 koormusega) 1988–1989, süsteemitehnika teaduskonna automaatikainstituudi lektor; teoreetilise informaatika õppetooli erakorraline dotsent 1995, dotsent (0,5 koormusega) 1997 TTÜ Küberneetika Instituudi juhtimissüsteemide osakonna juhataja 1997–1998; arvutuskeskuse üldinformaatika professor 1998–2000, õppetooli juhataja 2000; infotehnoloogia teaduskonna arvutiteaduse instituudi üldinformaatika professor 2000–2016, instituudi direktor 2001–2016; tarkvarateaduse instituudi professor 2017–2018, formaalmeetodite professor tenuuris astmel kaasprofessor 2019–… Oslo Ülikooli informaatikainstituudi külalisprofessor 2000. Vainu teadustöö põhisuunad on järgmised: 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). Jüri Vainult on ilmunud üle 200 teaduspublikatsiooni. Tema juhendamisel on kaitstud 12 magistri- ja 4 doktoritööd. Vain on kuulunud järgmistesse teadusorganisatsioonidesse. 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 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, ÜK Vain huvitub muusikast, kalastamisest, klassikalisest filosoofiast ja antiikajaloost ning ulmekirjandusest. Tallinna Tehnikaülikooli professorid läbi aegade. Tallinn: Tallinna Tehnikaülikool, 2008, lk 481–482 Jüri Vain Eesti Teadusinfosüsteemis Jüri Vain Eesti Teadusinfosüsteemis