5.07.1956
6204190
5099675
juri.vain@ttu.ee
SCOPUS Author ID: 13905505300

Teenistuskäik

Töökohad ja ametid
01.01.2019–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, formaalmeetodite professor tenuuris astmel kaasprofessor (1,00)
01.01.2017–31.12.2018   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Professor (1,00)
01.01.2002–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, direktor (1,00)
01.09.1998–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool, Professor, õppetooli juhataja (1,00)
01.09.1992–31.12.2015   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Vanemteadur (0,50)
01.01.1984–31.12.1992   
Küberneetika Instituudi AT EKB insener-programmeerija;
01.01.1978–31.12.1981   
Küberneetika Instituudi vaneminsener;
 
 
Haridustee
1981–1984   
aspirantuur Eesti TA Küberneetika Instituut
1974–1979   
põhiõpe, magistrantuur, TPI, juhtimissüsteemide eriala (süsteemiinseneri diplom)
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2017−...   
The 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, PC member
2017−...   
BDAS 2017 : 13th (IEEE technically co-sponsored) International Conference Beyond Databases, Architectures and Structures, PC member
1997−...   
iga-aastase konverentsi "Nordic Workshop on Programming Theory", programmkomitee liige
2017−2017   
9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017), September 4-5, 2017, Geneva, Switzerland, Program Committee member
2017−2017   
IEEE 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO’2017) Sep 20-22, 2017 Noida, India, Invited talk
2017−2017   
IEEE International Conference on Infocom Technologies and Unmanned Systems (ICTUS’2017), Dec 18-20, 2017, invited speaker
2017−2017   
IEEE CSS Winter School on CPS funded by the IEEE CSS Outreach fund during January 5-8, 2017, Lecturer
2017−2017   
IEEE CIS Summer School on Cyber-Physical Systems, April 8 – 11, 2017, Ahmedabad. DA-IIC. Lecturer
2015−2015   
8th Congress of the Baltic Association of Surgeons, Invited talk "Technological Revolution in Medicine"
2015−2015   
DTU, invited lecture "Model-based integration testing of ROS packages: a mobile robot case study"
2015−2015   
Rogosi Teooriapäevad, Kutsutud ettekanne "Provably correct online testing of timed systems"
2014−2014   
Konverentsi iFM 2014 (The 11th International Conference on Integrated Formal Methods, 9-11 September 2014, Bertinoro, Italy) programmikomitee liige
2013−2013   
Konverentsi PHealth 2013 - 10th International Conference on Wearable Micro and Nono Technologies for Personalized Health programmkomitee liige
2013−2013   
Konverentsi Self-Adaptive Networked Embedded Systems (SANES 2013), programmkomitee liige
2013−2013   
Konverentsi The 25th IFIP International Conference on Testing Software and Systems (ICTSS'2013) Nov 13-15, 2013 Istanbul, Turkey programmikomitee liige
2012−2012   
Konverentsi "The 23rd IFIP Int. Conference on Testing Software and Systems (ICTSS'12), November 19-21, 2012, Aalborg, Denmark, programmkomitee liige
2012−2012   
Symposium on Programming Languages and Software Tools (SPLST'11), programmkomitee liige
2010−2010   
Konverentsi "Teadmuspõhine tarkvara arendus 2010" programmkomitee liige
2009−2010   
FMOODS/FORTE'2010 programmkomitee liige
2008−2009   
Konverentsi FMOODS/FORTE'09 programmkomitee liige
2006−2009   
EL 6. raamprogrammi IST STREP projekt nr 045255 „Knowledge Environment for Interacting ROBOt SWARMs“ teaduskoordinaator
2006−2007   
27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems PC kaasesimees
2004−2004   
- 28th IFAC/IFIP Workshop on Real-Time Programming, 2004, PC member
2004−2007   
EL 6. raamprogrammi projekti IST-507728 NoE EURON "European Robotics Network" juhtkomitee liige
2003−2003   
- 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03) Lübeck, Germany October 16-18, 2003, PC member
2000−2000   
IFIP Working Group 2.2 vaatleja.
1999−2003   
IFAC Technical Committee "Real Time Software Engineering" liige
1998−2002   
Sihtfinantseerimisteema 0140221s98 vastutav täitja;
1997−1999   
IFAC TC "Advanced Manufacturing Technology" liige
1995−1995   
- 8th IFAC Symp. on Information Control Problems in Manufacturing (INCOM'95), Peking, Hiina, PC member
1995−1995   
- 4rd Int. WS on Feature Interactions in Telecommunications Software Systems, 1995, Kyoto, Japan; PC member
1994−1994   
- 3rd Int. WS on Feature Interactions in Telecommunications Software Systems 1994 Ottawa, Canada; PC member
1994−2009   
6 ETF grandi vastutav täitja;
1992−2014   
Küberneetika Instituudi juhtimissüsteemide osakonna juhataja
 
 
Loometöö
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)..
 
 
Lisainfo
Käesoleva teadustöö prioriteet on mudelipõhise ajakitsendustega hajustestimise meetodid ja vahendid. ;

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
2019, Jüri Vain, Parim publikatsioon konverentsil "10th International Conference on Dependable Systems, Services and Technologies" DESSERT 2019, June 5-7, Leeds, UK.
2019, Jüri Vain, Tallinna Tehnikaülikooli teenetemedal „Mente et manu“
2005, Jüri Vain, Kirurgi abiroboti loomine (koostööprojekt) - Tokyo Denki Ülikooli tippkeskuse HAM 2005 a. parim teadustulemus
2001, Jüri Vain, 1992 - 2001 Chartered Electrical Engineer (IEE, UK)
1994, Jüri Vain, Philipsi preemia koostöö eest Eindhoveni Tehnoloogiaülikooli Arvutiteaduse Instituudiga
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); TÄPSUSTUS: Sard- ja hajussüsteemide formaalne spetsifitseerimine, süntees ja verifitseerimine.
 
 
Lisainfo
Tehnikateaduste kandidaat
Eesti TA Küberneetika Instituut, 1987.

Lõppenud projektid

Juhendamisel väitekirjad

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2019
1.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
5.2.
2019
3.1.
2018
3.1.
2018
3.1.
2018
3.4.
2018
6.3.
2018
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.4.
2017
1.1.
2016
1.1.
2016
1.2.
2016
2.5.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.4.
2016
4.1.
2016
4.1.
2016
6.8.
2016
6.8.
2016
1.1.
2015
2.5.
2015
3.1.
2015
3.1.
2015
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.2.
2014
3.2.
2014
3.5.
2014
3.1.
2013
3.1.
2013
4.2.
2013
5.2.
2013
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
5.2.
2012
6.7.
2012
1.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.2.
2010
4.1.
2010
5.2.
2010
6.8.
2010
3.1.
2009
3.1.
2009
3.1.
2009
3.4.
2009
5.2.
2009
6.3.
2009
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
4.2.
2008
5.2.
2008
6.2.
2008
6.2.
2008
3.1.
2007
3.4.
2007
3.4.
2007
3.5.
2007
4.1.
2007
6.3.
2007
6.8.
2007
1.1.
2006
1.1.
2006
3.1.
2006
3.1.
2006
3.1.
2006
3.1.
2006
3.4.
2006
3.4.
2006
3.4.
2006
3.4.
2006
1.1.
2005
1.3.
2005
3.1.
2005
3.1.
2005
3.4.
2005
3.4.
2005
3.4.
2005
3.4.
2005
1.3.
2004
3.1.
2004
3.4.
2004
3.4.
2004
1.3.
2003
3.1.
2003
3.1.
2003
3.4.
2003
3.4.
2003
4.1.
2003
4.1.
2003
6.3.
2003
6.6.
2003
6.8.
2003
1.2.
2002
3.4.
2002
3.4.
2002
4.2.
2002
5.2.
2002
3.1.
2001
3.4.
2001
3.4.
2001
2.5.
2000
3.1.
2000
3.4.
2000
3.4.
2000
3.1.
1999
3.1.
1999
3.4.
1999
3.4.
1999
3.4.
1999
3.4.
1998
3.4.
1998
3.4.
1998
4.1.
1998
4.1.
1998
6.8.
1998
3.4.
1997
1.1.
1996
3.1.
1995
3.2.
1995
3.4.
1995
3.4.
1995
3.1.
1994
3.4.
1994
1.1.
1993
3.1.
1993
3.1.
1992
3.4.
1992
3.4.
1992
6.7.
1992
1.1.
1991
3.1.
1991
3.4.
1991
3.4.
1989
3.1.
1988
1.2.
1987
2.3.
1987
3.4.
1987
3.4.
1987
3.4.
1987
1.1.
1986
1.1.
1986
3.1.
1986
3.1.
1986
3.4.
1986
3.4.
1985
3.4.
1985
3.4.
1984
3.1.
1983
3.4.
1982
3.4.
1982
3.4.
1980
22.11.2019
5.07.1956
6204190
5099675
juri.vain@ttu.ee
SCOPUS Author ID: 13905505300

Career

Institutions and positions
01.01.2019–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Professor (1,00)
01.01.2017–31.12.2018   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Professor (1,00)
01.01.2002–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Director (1,00)
01.09.1998–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics, Professor, head of chair (1,00)
01.09.1992–31.12.2015   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (0,50)
01.01.1984–31.12.1992   
R&D Department at the Institute of Cybernetics, engineer-programmer;
01.01.1978–31.12.1981   
Institute of Cybernetics, senior engineer
 
 
Education
1981–1984   
doctoral studies at the Institute of Cybernetics, Estonian Academy of Sciences (1987 Candidate of Technical Sciences degree)
1974–1979   
bachelor and master studies, Tallinn Polytechnic Institute, control systems speciality (system engineer)
 
 
R&D related managerial and administrative work
2017−...   
The 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, PC member
2017−...   
BDAS 2017 : 13th (IEEE technically co-sponsored) International Conference Beyond Databases, Architectures and Structures, PC member
1997−...   
annual workshop "Nordic Workshop on Programming Theory", PC member
2017−2017   
9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017), September 4-5, 2017, Geneva, Switzerland, Program Committee member
2017−2017   
IEEE 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO’2017) Sep 20-22, 2017 Noida, India, Invited talk
2017−2017   
IEEE International Conference on Infocom Technologies and Unmanned Systems (ICTUS’2017), Dec 18-20, 2017, invited speaker
2017−2017   
IEEE CSS Winter School on CPS funded by the IEEE CSS Outreach fund during January 5-8, 2017, Lecturer
2017−2017   
IEEE CIS Summer School on Cyber-Physical Systems, April 8 – 11, 2017, Ahmedabad. DA-IIC. Lecturer
2015−2015   
8th Congress of the Baltic Association of Surgeons, Invited talk "Technological Revolution in Medicine"
2015−2015   
DTU, invited lecture "Model-based integration testing of ROS packages: a mobile robot case study"
2015−2015   
Rogosi Theory Days, Invited talk "Provably correct online testing of timed systems"
2014−2014   
iFM 2014 The 11th International Conference on Integrated Formal Methods,9-11 September 2014, Bertinoro, Italy, PC member
2013−2013   
PHealth 2013 - 10th International Conference on Wearable Micro and Nono Technologies for Personalized Health, PC member
2013−2013   
Conference Self-Adaptive Networked Embedded Systems (SANES 2013), PC member
2013−2013   
The 25th IFIP International Conference on Testing Software and Systems (ICTSS'2013) Nov 13-15, 2013 Istanbul, Turkey, PC member
2012−2012   
The 23rd IFIP Int. Conference on Testing Software and Systems (ICTSS'12), November 19-21, 2012, Aalborg, Denmark,, PC member
2012−2012   
Symposium on Programming Languages and Software Tools (SPLST'11), PC member
2010−2010   
JOINT CONFERENCE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING 2010 (JCKBSE'10), PC member
2009−2010   
FMOODS/FORTE'2010 12th Formal Methods for Open Object-Based Distributed Systems and 30th Formal Techniques for Networked and Distributed Systems, PC member
2008−2009   
Joint conference FMOODS/FORTE'09 PC member
2006−2009   
Scienctific coordinator of the EU FP6 IST project no 045255 „Knowledge Environment for Interacting ROBOt SWARMs“
2006−2007   
27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems Co-chair of the Program Committee
2004−2004   
- 28th IFAC/IFIP Workshop on Real-Time Programming, 2004, PC member
2004−2007   
Board member of the EU FP6 project IST-507728 NoE EURON "European Robotics Network"
2003−2003   
- 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03) Lübeck, Germany October 16-18, 2003, PC member
2000−2000   
IFIP Working Group 2.2 observer.
1999−2003   
IFAC Technical Committee "Real Time Software Engineering" member
1998−2002   
Principal of research program 0140221s98 ;
1997−1999   
IFAC TC "Advanced Manufacturing Technology", member
1995−1995   
- 8th IFAC Symp. on Information Control Problems in Manufacturing (INCOM'95), Peking, China; PC member
1995−1995   
- 4rd Int. WS on Feature Interactions in Telecommunications Software Systems, 1995, Kyoto, Japan; PC member
1994−1994   
- 3rd Int. WS on Feature Interactions in Telecommunications Software Systems 1994 Ottawa, Canada; PC member;
1994−2009   
Principal of 6 ESF grants,
1992−2014   
Institute of Cybernetics, head of department
 
 
Creative work
Formal methods for embedded real time systems modelling, design and verification, model-based testing theory. Application of formal methods in autonomous robotics (reactive task planning) and swarm robotics (proof methods for emerging behaviour properties of large robot groups)..
 
 
Additional information
The focus of current research is methods and tools for model based distributed testing with timing constraints.;

Qualifications

 
 
Honours & awards
2019, Jüri Vain, The best paper award in "10th International Conference on Dependable Systems, Services and Technologies" DESSERT 2019, June 5-7, Leeds, UK.
2019, Jüri Vain, Tallinn University of Technology medal of merit "Mente et manu"
2005, Jüri Vain, Scrub nurse robot (joint project) - the best research result in 2005, Center of Excellence on HAM at Tokyo Denki University
2001, Jüri Vain, 1992 - 2001 Chartered Electrical Engineer (IEE, UK)
1994, Jüri Vain, Philips Research Award for cooperation with the Department of Computing Science at Eindhoven University of Technology
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P170 Computer science, numerical analysis, systems, control ; SPECIFICATION: Formal specification, synthesis and verification of embedded and distributed systems
 
 
Additional information
Candidate of Technical Sciences
Institute of Cybernetics at Estonian Academy of Sciences, 1987

Completed projects

Dissertations under supervision

Supervised dissertations

Publications

Category
Year
Publication
 
1.1.
2019
1.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
5.2.
2019
3.1.
2018
3.1.
2018
3.1.
2018
3.4.
2018
6.3.
2018
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.4.
2017
1.1.
2016
1.1.
2016
1.2.
2016
2.5.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.4.
2016
4.1.
2016
4.1.
2016
6.8.
2016
6.8.
2016
1.1.
2015
2.5.
2015
3.1.
2015
3.1.
2015
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.2.
2014
3.2.
2014
3.5.
2014
3.1.
2013
3.1.
2013
4.2.
2013
5.2.
2013
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
5.2.
2012
6.7.
2012
1.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.2.
2010
4.1.
2010
5.2.
2010
6.8.
2010
3.1.
2009
3.1.
2009
3.1.
2009
3.4.
2009
5.2.
2009
6.3.
2009
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
4.2.
2008
5.2.
2008
6.2.
2008
6.2.
2008
3.1.
2007
3.4.
2007
3.4.
2007
3.5.
2007
4.1.
2007
6.3.
2007
6.8.
2007
1.1.
2006
1.1.
2006
3.1.
2006
3.1.
2006
3.1.
2006
3.1.
2006
3.4.
2006
3.4.
2006
3.4.
2006
3.4.
2006
1.1.
2005
1.3.
2005
3.1.
2005
3.1.
2005
3.4.
2005
3.4.
2005
3.4.
2005
3.4.
2005
1.3.
2004
3.1.
2004
3.4.
2004
3.4.
2004
1.3.
2003
3.1.
2003
3.1.
2003
3.4.
2003
3.4.
2003
4.1.
2003
4.1.
2003
6.3.
2003
6.6.
2003
6.8.
2003
1.2.
2002
3.4.
2002
3.4.
2002
4.2.
2002
5.2.
2002
3.1.
2001
3.4.
2001
3.4.
2001
2.5.
2000
3.1.
2000
3.4.
2000
3.4.
2000
3.1.
1999
3.1.
1999
3.4.
1999
3.4.
1999
3.4.
1999
3.4.
1998
3.4.
1998
3.4.
1998
4.1.
1998
4.1.
1998
6.8.
1998
3.4.
1997
1.1.
1996
3.1.
1995
3.2.
1995
3.4.
1995
3.4.
1995
3.1.
1994
3.4.
1994
1.1.
1993
3.1.
1993
3.1.
1992
3.4.
1992
3.4.
1992
6.7.
1992
1.1.
1991
3.1.
1991
3.4.
1991
3.4.
1989
3.1.
1988
1.2.
1987
2.3.
1987
3.4.
1987
3.4.
1987
3.4.
1987
1.1.
1986
1.1.
1986
3.1.
1986
3.1.
1986
3.4.
1986
3.4.
1985
3.4.
1985
3.4.
1984
3.1.
1983
3.4.
1982
3.4.
1982
3.4.
1980
22.11.2019
  • Leitud 24 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
MUUVEU16062Allveerobootika lahendused naftareostuse leviku jälgimiseks01.01.201731.12.2018Juhan-Peep ErnitsTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool38 805,69 EUR
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
MUU346FElektroonika, info- ja kommunikatsioonitehnoloogiate arenduskeskus ELIKO10.01.200311.10.2004Toomas RangTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Thomas Johann Seebecki elektroonikainstituut, Elektroonikadisaini õppetool25 564,66 EUR
MUULEP15048ELIKO mobiilse robotplatvormi ROS-l põhineva juhtimissüsteemi testimine ja seadistamine20.05.201519.06.2015Jüri VainTallinna Tehnikaülikool10 000,00 EUR
MUUF8018Eureka ITEA2 D-MINT22.02.200831.12.2009Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool93 246,84 EUR
MUUV242Euroopa robootika võrgustik01.05.200430.04.2008Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool213 464,91 EUR
MUUBF99Formaalsed meetodid hajussüsteemides.01.01.200931.12.2011Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool40 176,14 EUR
MUUG4156 (ETF4156)Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks01.01.200031.12.2003Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut20 004,35 EUR
MUUELIKO 2.2Hajus- ja sardsüsteemide testimine, verifitseerimine ning diagnostika01.07.200930.06.2015Jüri VainELIKO Tehnoloogia Arenduskeskus OÜ1 826 248,00 EUR
MUUV341Interakteeruvate robotparvede teadmuskeskkond01.11.200630.04.2009Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool2 100 000,00 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 642 075,15 EUR
MUUSF0140221Bs98Juhtimis- ja tarkvarasüsteemide projekteerimise meetodid ja vahendid raalintegreeritud süsteemides01.01.199831.12.2002Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut45 121,62 EUR
SFSF0140018s08Keerukate mittelineaarsete juhtimissüsteemide süntees01.01.200831.12.2013Ülle KottaTallinna Tehnikaülikool, TTÜ Küberneetika Instituut756 803,02 EUR
MUUVY632Kraadiõppe moderniseerimine nii sotsiaalsete kui ka tööstussüsteemide küberturbe ja -töökindluse valdkondades01.12.201330.11.2016Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool653 172,08 EUR
ETFETF5775Lõpmatu olekuruumiga süsteemide abstraktsiooni-põhine verifitseerimine ja analüüs01.01.200431.12.2007Jüri VainTallinna Tehnikaülikool, TTÜ Küberneetika Instituut28 836,18 EUR
SFSF0322520s03Mittelineaarsed ja hübriidsed juhtimissüsteemid01.01.200331.12.2007Ülle KottaTallinna Tehnikaülikool, TTÜ Küberneetika Instituut415 457,67 EUR
TKTK124Mittelineaarsete protsesside analüüsi keskus01.01.201131.12.2015Jüri EngelbrechtTallinna Tehnikaülikool, TTÜ Küberneetika Instituut; Tartu Ülikool, Loodus- ja tehnoloogiateaduskond, Tartu Ülikooli Füüsika Instituut2 729 927,47 EUR
ETFETF7667Mudeli-põhine plaanurite süntees mittedeterministlikele ja hajussüsteemidele01.01.200831.12.2011Jüri VainTallinna Tehnikaülikool, TTÜ Küberneetika Instituut56 550,81 EUR
MUUF8079ORPHEUS20.07.200827.11.2008Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool9 729,78 EUR
MUUG3737 (ETF3737)Otsustussüsteemide optimaalse struktureerimise meetodid informaatikas ja juhtimises01.01.199931.12.2001Ingmar RandveeTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut8 564,16 EUR
MUUG5086 (ETF5086)Raalintegreeritud juhtimissüsteemide mustripõhine modelleerimine ja analüüs01.01.200231.12.2005Tiit RiismaaTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut14 699,68 EUR
2.1.LEP18082ITRakendusuuring kaugjuhitavate sõidukite juhtimisabi ning turvalisuse funktsioonide jaoks oluliste sensorite ja tarkvaraalgoritmide süsteemi arendamiseks28.09.201830.04.2021Jüri VainTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut180 000,00 EUR
MUULep9055Tarkvara testide automaatne genereerimine01.03.200930.06.2009Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool12 782,33 EUR
IUTIUT33-13Tugevate garantiidega tarkvara meetodid, tööriistad ja protsessid01.01.201531.12.2020Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut900 000,00 EUR