See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
9.06.1981
+372 620 2262
maksim@ati.ttu.ee

Teenistuskäik

Töökohad ja ametid
01.09.2018–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutisüsteemide instituut, Professor (1,00)
01.01.2017–31.08.2018   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutisüsteemide instituut, Vanemteadur (1,00)
01.09.2011–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool , Vanemteadur (1,00)
2007–31.08.2011   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool , Teadur (1,00)
01.01.2004–31.12.2007   
ELIKO OÜ Tehnoloogia Arenduskeskus, arendusinsener
 
 
Haridustee
2004–2008   
tehnikateaduste doktor, TTÜ, Arvutitehnika Instituut
2003–2004   
tehnikateaduste magister, TTÜ, Arvuti- ja Süsteemitehnika eriala
1999–2003   
tehnikateaduste bakalaureus, TTÜ, Arvuti- ja Süsteemitehnika eriala
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2018−...   
Konverentsi IEEE European Workshop on Microelectronics Education (EWME) programmikomitee liige
2017−...   
Konverentsi IEEE International Online Testing Symposium (IOLTS) programmikomitee liige
2016−...   
Konverentsi IEEE Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology System (DFT) programmikomitee liige
2016−...   
Konverentsi IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) programmikomitee liige
2013−...   
Suvekooli "Biannual European - Latin American Summer School on Design, Test and Reliability - BELAS" asutaja ja juhtkommittee esimees
2012−...   
Konverentsi IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) programmikomitee liige
2012−...   
Konverentsi IEEE Baltic Electronics Conference (BEC) programmikomitee liige
2011−...   
ajakirjade retsensent: Journal of Electronic Testing by Springer, Electronics and Electrical Engineering, Microprocessors and Microsystems by Elsevier
2008−...   
IEEE Computer Society liige
2007−...   
IEEE liige
2018−2018   
Programmikomitee kaasjuht (digital track) NORCAS "IEEE Nordic Circuits and Systems Conference"
2018−2018   
Suvekooli BELAS 2018 "Biannual European - Latin American Summer School on Design, Test and Reliability" üldjuht
2017−2019   
Konverentsi IEEE European Test Symposium (ETS) täitevkomitee liige, workshopide juht
2017−2017   
Konverentsi Workshop on Reliability, Security and Quality - RESCUE (IEEE ETS 2017 Fringe workshop) esimees
2016−2016   
IEEE ETS 2016, Publicity Chair
2016−2018   
Konverentsi IEEE/EDAA/ACM Design Test and Automation in Europe - Conference and Exhibition (DATE) programmikomitee liige
2015−2015   
Konverentsi MEDIAN Finale esimees, Tallinn
2015−2015   
Konverentsi Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale - MEDIAN 2015 (DATE 2015 Friday workshop) programmikomitee esimees, Grenoble
2014−2016   
Konverentsi IEEE Latin American Test Workshop (LATW) / IEEE Latin American Test Symposium (LATS) väljaande toimetaja
2013−2015   
Teaduse tippkeskuse CEBE, teadussekretär
2013−2013   
Eesimese "Biannual European - Latin American Summer School on Design, Test and Reliability - BELAS" suvekooli korraldaja, Tallinn, 19.-21. juuni 2013
2012−2012   
Konverentsi IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) kohaliku korralduskommittee juht (Chair)
2012−2014   
Konverentsi IEEE NORCHIP Conference: Nordic Microelectronics Event (NORCHIP) programmikomitee liige
2011−2015   
COST Action IC1103 "MEDIAN" juhtkommitee liige, vastutav täitja TTÜ poolt
2010−2013   
ETF8478 grandihoidja “Hardware functional verification ja debug”
2009−2014   
Konverentsi IEEE Latin American Test Workshop (LATW) programmikomitee liige
2009−2015   
Teaduse tippkeskuse CEBE - alamprojekti P4 juht
 
 
Loometöö
- 18. novembril 2014, avalik loeng "Rescuing Nanoelectronics", Tallinna Tehnikaülikoolis.
 
 
Teenistuskäigu lisainfo
Visiidid välisinstituutidesse: 2017 - Politecnico di Torino, Itaalia (3 nädalat), 2016 - Politecnico di Torino, Itaalia (3 nädalat), 2012 - Ilmenau TÜ, Saksamaa (1 nädal)2010 - TransEDA, Inglismaa (1 nädal), 2010 - Nara Teaduse ja Tehnoloogia Instituut, Jaapan - Rahvusvaheline stžeerimine (1 kuu), 2007-2009 - Varssavi TÜ, Poola (ühe nädala visiidid), 2003-2007 - Linköpingi Ülikool, Rootsi (3 kuud ning ühe nädala visiidid);

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
2017, Maksim Jenihhin, Noore IT teadlase eripreemia (Vabariigi Presidendi Kultuurirahastu)
2013, Maksim Jenihhin, Boris Tamme nimeline järeldoktori stipendium
2011, Maksim Jenihhin, IBM Faculty Award
2009, Maksim Jenihhin, I preemia Üliõpilaste teadustööde riiklikul konkursil, loodusteaduste ja tehnika valdkond (Haridus- ja Teadusministeerium), 11. detsember, 2009.a.
2007, Maksim Jenihhin, "Tiigriülikooli" stipendium IKT doktorantidele (Eesti Infotehnoloogia Sihtasutus)
2007, Maksim Jenihhin, Eesti Energia stipendium (TTÜ arengufond), 22. november, 2007.a.
2007, Maksim Jenihhin, Ustus Aguri nimiline stipendium (Eesti Infotehnoloogia ja Telekommunikatsiooni Liit), 16. mai, 2007.a
2006, Maksim Jenihhin, "Tiigriülikooli" stipendium IKT doktorantidele (EITSA)
2006, Maksim Jenihhin, Jaan Poska stipendium (Tallinna Linnavalitsus), 15. mai, 2006.a.
2006, Maksim Jenihhin, AS Tallinna Sadam stipendium (TTÜ arengufond), 22. november, 2006.a.
2005, Maksim Jenihhin, "Tiigriülikooli" stipendium IKT doktorantidele (EITSA)
2005, Maksim Jenihhin, Jaan Poska stipendium (Tallinna Linnavalitsus), 15. mai, 2005.a.
 
 
Teadustöö põhisuunad
VALDKOND: 4. Loodusteadused ja tehnika; 4.7. Info- ja kommunikatsioonitehnoloogia; PÕHISUUND: Digitaalriistvara verifitseerimine ja testimine
VALDKOND: 4. Loodusteadused ja tehnika; 4.8. Elektrotehnika ja elektroonika; CERCS ERIALA: T171 Mikroelektroonika ; PÕHISUUND: Usaldusväärsed nanoelectroonika süsteemid
 
 
Lisainfo
* Europrojekti koordinaator: H2020 MSCA ITN "RESCUE - Interdependent Challenges of Reliability, Security and Quality in Nanoelectronic Systems Design" (2017-2021)* Üleeuroopalise COSTi võrgustiku ja projektitaotluse koordinaator: "HOTRESET - Holistic Reliability in Computing Systems of the IoT Era" (taotlemisel)21 riiki, 50 eksperti firmadest ja ülikoolidest.* Aktiivne pannustaja järgmistes europrojektides: FP6-VERTIGO (2006-2008), FP7-CREDES (2009-2012), FP7-DIAMOND (2010-2012), COST-MEDIAN (2011-2015), COST-TRUDEVICE (2012-2016), FP7-BASTION (2014-2017), H2020-IMMORTAL (2015-2018), H2020-TUTORIAL (2016-2018). * Euroopa – Laadina-Ameerika suvekooli asutaja ning juhtkommitee esimees "BELAS - Biannual European - Latin American Summer School on Design, Test and Reliability" (Tallinn'13, Fortaleza'14, Frankfurt-Oder'14, Guadalajara'15, Torino'16, Roterdam'17, Porto-Alegre'18, Tallinn'18)* Open-source tarkvara projekti juht "zamiaCAD" http://zamiacad.sourceforge.net/* Eesti tippkeskuse teadussekretäär "CEBE - Integreeritud elektroonikasüsteemide ja biomeditsiinitehnika tippkeskus"

Lõppenud projektid

Juhendamisel väitekirjad

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2018
3.1.
2018
3.1.
2018
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.4.
2017
1.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.2.
2016
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.2.
2015
3.4.
2015
3.4.
2015
3.4.
2015
3.4.
2015
1.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.2.
2014
1.1.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.2.
2013
3.4.
2013
3.4.
2013
3.4.
2013
3.4.
2013
3.5.
2013
5.2.
2013
1.1.
2012
1.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.4.
2012
3.4.
2012
3.4.
2012
1.2.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.4.
2011
3.4.
2011
1.2.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.4.
2010
3.5.
2010
1.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
1.1.
2008
2.3.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.2.
2008
3.4.
2008
3.5.
2008
3.1.
2007
3.1.
2007
3.1.
2007
3.2.
2007
3.5.
2007
1.1.
2006
3.1.
2006
3.5.
2006
3.1.
2005
3.1.
2004
3.2.
2004
3.5.
2004
6.7.
2004
3.1.
2003
3.1.
2003
3.2.
2003
9.06.1981
+372 620 2262
maksim@ati.ttu.ee

Career

Institution and occupation
01.09.2018–...   
Tallinn University of Technology , School of Information Technologies, Department of Computer Systems, Professor (1,00)
01.01.2017–31.08.2018   
Tallinn University of Technology , School of Information Technologies, Department of Computer Systems, Senior Researcher (1,00)
01.09.2011–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Engineering , Chair of Computer Systems Test and Verification, Senior Researcher (1,00)
2007–31.08.2011   
Tallinn University of Technology , School of Information Technologies, Department of Computer Engineering , Chair of Computer Systems Test and Verification, Researcher (1,00)
01.01.2004–31.12.2007   
ELIKO OÜ Competence Center in Electronics-, Info- and Communication Technologies, Development Engineer
 
 
Education
2004–2008   
Ph.D. in Computer Engineering, TUT
2003–2004   
M.Sc. in Computer Engineering, TUT
1999–2003   
B.Sc. in Computer Engineering, TUT
 
 
R&D related managerial and administrative work
2018−...   
Programme Committee member IEEE European Workshop on Microelectronics Education (EWME)
2017−...   
Programme Committee member of the IEEE International Online Testing Symposium (IOLTS)
2016−...   
Programme Committee member of the IEEE Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology System (DFT)
2016−...   
Programme Committee member of the IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
2013−...   
"Biannual European - Latin American Summer School on Design, Test and Reliability - BELAS" Founder and Co-Chair of the Steering Committee
2012−...   
Programme Committee member of the IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
2012−...   
Programme Committee member of the IEEE Baltic Electronics Conference (BEC)
2011−...   
reviewer for journals: Journal of Electronic Testing by Springer, Electronics and Electrical Engineering, Microprocessors and Microsystems by Elsevier
2008−...   
IEEE Computer Society Member
2007−...   
IEEE Member
2018−2018   
Technical Programme Committee Co-Chair (Digital Track) NORCAS "IEEE Nordic Circuits and Systems Conference"
2018−2018   
General Chair - BELAS 2018 "Biannual European - Latin American Summer School on Design, Test and Reliability"
2017−2019   
Executive Committee member for the IEEE European Test Symposium (ETS), Fringe Workshops Chair
2017−2017   
General Chair for the Workshop on Reliability, Security and Quality - RESCUE (IEEE ETS 2017 Fringe workshop)
2016−2016   
IEEE ETS 2016, Publicity Chair
2016−2018   
Programme Committee member of the IEEE/EDAA/ACM Design Test and Automation in Europe - Conference and Exhibition (DATE)
2015−2015   
General Chair for the MEDIAN Finale Workshop, Tallinn
2015−2015   
Program Chair for the Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale - MEDIAN 2015 (DATE 2015 Friday workshop), Grenoble
2014−2016   
Publication Chair for IEEE Latin American Test Workshop (LATW) / IEEE Latin American Test Symposium (LATS)
2013−2015   
Center of research excellence CEBE, Scientific Secretary
2013−2013   
First "Biannual European - Latin American Summer School on Design, Test and Reliability - BELAS" event organizer, Tallinn, June 19-21, 2013
2012−2012   
Konverentsi IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) Local Organizing Committee Chair and Treasurer
2012−2014   
Programme Committee member of the IEEE NORCHIP Conference: Nordic Microelectronics Event (NORCHIP)
2011−2015   
COST Action IC1103 "MEDIAN" Management Committee Member from Estonia
2010−2013   
Coordinator for the Estonian Science Foundation Research Grant ETF8478 “Hardware functional verification ja debug”
2009−2014   
Programme Committee member of the IEEE Latin American Test Workshop (LATW)
2009−2015   
Center of research excellence CEBE - Track P4 Coordinator
 
 
Creative work
- November 18, 2014, open lecture "Rescuing Nanoelectronics", Tallinn University of Technology.
 
 
Additional career information
Visits to partner institutions:2017 - Politecnico di Torino, Italy (3 weeks), 2016 - Politecnico di Torino, Italy (3 weeks), 2012 - Ilmenau University of Technology, Germany (1 week), 2010 - TransEDA, UK (1 week), 2010 - Nara Institute of Science and Technology, Japan - International Internship (1 month), 2007-2009 - Warsaw University of Technology, Poland (one-week visits), 2003-2007 - Linkoeping University, Sweden (3 months and one-week visits);

Qualifications

 
 
Honours & awards
2017, Maksim Jenihhin, Special Award for Young IT Scientist (President of the Republic)
2013, Maksim Jenihhin, Boris Tamm Post-Doctoral Award
2011, Maksim Jenihhin, IBM Faculty Award
2009, Maksim Jenihhin, I Prize in National Contest of Students Research Publications, Natural Sciences and Engineering field (Estonian ministry of Education and Research), December 11, 2009
2007, Maksim Jenihhin, "Tiger University" grant for ICT PhD studetts (Estonian Information Technology Foundation)
2007, Maksim Jenihhin, Eesti Energia grant (TUT Development Foundation), November 22, 2007
2007, Maksim Jenihhin, Ustus Agur grant (Estonian Association of Information Technology and Telecommunications), May 16, 2007
2006, Maksim Jenihhin, "Tiger University" grant for ICT PhD studetts (Estonian Information Technology Foundation)
2006, Maksim Jenihhin, Jaan Poska grant (Tallinn Council), May 15, 2006
2006, Maksim Jenihhin, AS Tallinna Sadam grant (TUT Development Foundation), November 22, 2006
2005, Maksim Jenihhin, "Tiger University" grant for ICT PhD studetts (Estonian Information Technology Foundation)
2005, Maksim Jenihhin, Jaan Poska grant (Tallinn Council), May 15, 2005
 
 
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.7. Telecommunications; SPECIALITY: Digital hardware verification and test
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.8. Electrical Engineering and Electronics; CERCS SPECIALTY: T171 Microelectronics ; SPECIALITY: Reliable nanoelectronic systems
 
 
Additional information

Completed projects

Dissertations under supervision

Supervised dissertations

Publications

Category
Year
Publication
 
1.1.
2018
3.1.
2018
3.1.
2018
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.4.
2017
1.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.2.
2016
3.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
3.2.
2015
3.4.
2015
3.4.
2015
3.4.
2015
3.4.
2015
1.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
3.2.
2014
1.1.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.1.
2013
3.2.
2013
3.4.
2013
3.4.
2013
3.4.
2013
3.4.
2013
3.5.
2013
5.2.
2013
1.1.
2012
1.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.4.
2012
3.4.
2012
3.4.
2012
1.2.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.4.
2011
3.4.
2011
1.2.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.4.
2010
3.5.
2010
1.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
1.1.
2008
2.3.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2008
3.2.
2008
3.4.
2008
3.5.
2008
3.1.
2007
3.1.
2007
3.1.
2007
3.2.
2007
3.5.
2007
1.1.
2006
3.1.
2006
3.5.
2006
3.1.
2005
3.1.
2004
3.2.
2004
3.5.
2004
6.7.
2004
3.1.
2003
3.1.
2003
3.2.
2003
  • Leitud 23 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
ETFETF5649Digitaalskeemide defekt-orienteeritud diagnostika01.01.200331.12.2006Raimund UbarTallinna Tehnikaülikool, Infotehnoloogia teaduskond40 819,99 EUR
SFSF0142508s03Digitaalsüsteemide disain ja test01.01.200331.12.2007Raimund UbarTallinna Tehnikaülikool, Infotehnoloogia teaduskond658 321,94 EUR
MUUVFP443EL 7. Raamprogrammi uurimisprojekt DIAMOND, veakindlate süsteemide diagnostika, modelleerimine ja projekteerimine01.12.200931.12.2012Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut431 560,02 EUR
MUUVFP15002EL Horizon 2020 uurimisprojekt IMMORTAL01.03.201528.02.2018Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool 377 750,00 EUR
MUUVFP608Elektroonikasüsteemide testi-instrumendid tehnoloogia vananemise vältimiseks ja diagnoosimatute rikete avastamiseks (BASTION)01.01.201431.12.2016Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool 364 865,00 EUR
MUUVFP15055Horisont 2020 Twinning projekt TTÜ võimekuse tõstmiseks nanoelektroonikal põhinevate usaldusväärsete küberfüüsikaliste süsteemide valdkonnas (TUTORIAL)01.01.201631.12.2018Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool 518 000,00 EUR
MUUVEU607IKT COST Aktsioon IC1103 Tööstuslikud ja usaldatavad mitmetuumalised nanomeeter-arhitektuurid (MEDIAN)01.12.201130.11.2015Maksim JenihhinTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool 10 000,00 EUR
MUUVEU678IKT COST Aktsioon IC1204 Usaldusväärne tootmine ja turvalised IT-rakendused (TRUDEVICE)24.09.201311.12.2016Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool 10 000,00 EUR
MUUAR13059Integreeritud elektroonikasüsteemide isetestimine, diagnostika ja defektide analüüs (FUSETEST)01.03.201331.08.2015Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool 196 458,00 EUR
TKTAR8077Integreeritud elektroonikasüsteemide ja biomeditsiinitehnika tippkeskus CEBE07.07.200831.08.2015Raimund UbarTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut2 066 263,60 EUR
ETFETF7483Isediagnoosivad digitaalsüsteemid01.01.200831.12.2011Raimund UbarTallinna Tehnikaülikool, Infotehnoloogia teaduskond55 414,27 EUR
ETFETF5910Isetestivad digitaalsüsteemid01.01.200431.12.2007Raimund UbarTallinna Tehnikaülikool, Infotehnoloogia teaduskond51 822,58 EUR
ETFETF9429Isetestivad usaldatavad mesokroonsed kiipvõrgud01.01.201231.12.2015Jaan RaikTallinna Tehnikaülikool, Infotehnoloogia teaduskond33 984,00 EUR
MUUV334IST STREP projekt VERTIGO - sardsüsteemide projekteerimise platvormi verifitseerimine ja valideerimine01.06.200631.12.2008Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut208 837,70 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut; Tartu Ülikool, Loodus- ja täppisteaduste valdkond, tehnoloogiainstituut; Cybernetica AS2 642 075,15 EUR
ETFETF7068Kõrgtaseme otsustusdiagrammidel põhinevad digitaalsüsteemide verifitseerimis- ja testimismeetodid01.01.200731.12.2010Jaan RaikTallinna Tehnikaülikool, Infotehnoloogia teaduskond39 083,26 EUR
1.2.3.4.VFP17093RESCUE ETN - Nanoelektroonika süsteemide usaldusväärsuse, turvalisuse ja vastastikuses sõltuvuses olevad väljakutsed01.04.201731.03.2021Maksim JenihhinTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutisüsteemide instituut3 755 824,90 EUR
ETFETF8478Riistvara funktsionaalne verifitseerimine ja silumine01.01.201031.12.2013Maksim JenihhinTallinna Tehnikaülikool, Infotehnoloogia teaduskond55 219,32 EUR
MUU489FTehnoloogia arenduskeskus ELIKO projekt 1.4 Digitaalsüsteemide struktuurigeneraator01.11.200431.10.2007Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool 124 627,71 EUR
MUULep9007Tehnoloogia arenduskeskus ELIKO projekt 2.2 Sardsüsteemide test, verifitseerimine ja silumine01.09.200830.06.2009Jaan RaikTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool 8 500,25 EUR
SFSF0140041s08Töökindlate sardsüsteemide disain01.01.200831.12.2013Raimund UbarTallinna Tehnikaülikool, Infotehnoloogia teaduskond1 504 530,37 EUR
IUTIUT19-1Usaldusväärsed mitmetuumalised arvutisüsteemid01.01.201431.12.2019Jaan RaikTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutisüsteemide instituut1 310 000,00 EUR
MUUVFP382Usaldusväärsete süsteemide kompetentsikeskus01.03.200929.02.2012Gert JervanTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut983 099,97 EUR