This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree

Career

Institutions and positions
01.01.2017–31.08.2022   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Associate Professor (1,00)
01.09.2012–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics, Associate Professor (1,00)
01.01.2008–31.12.2011   
University of Birmingham, research fellow
01.01.2007–31.12.2007   
Microsoft Research Redmond, WA, USA, intern, (01.2007-03.2007)
01.01.2003–31.12.2004   
BRICS PhD School, Denmark, visiting PhD student with a Marie Curie Fellowship, 09.2003-01.2004
2002–31.10.2008   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics, Researcher (0,50)
2002–31.10.2008   
Tallinn University of Technology , Institute of Cybernetics at TUT, Researcher (0,50)
01.01.1997–31.12.2002   
Institute of Cybernetics at TUT, engineer
 
 
Education
2002–2007   
PhD studies, Tallinn University of Technology, Faculty of Information Technology, Department of Computer Science. Adviser Prof. Jüri Vain
2000–2002   
MSc studies at TUT, Department of Computer Science
1994–1999   
BSc studies at Tallinn Technical University, Cum Laude
 
 
R&D related managerial and administrative work
2022−...   
Member of the council of the School of Information Technologies of Taltech
2019−...   
Council of the Department of Software Science, Tallinn University of Technology
2022−2022   
PC member of the 37th AAAI Conference on Artificial Intelligence (AAAI-23)
2020−2020   
International Joint Conference on Artificial Intelligence -- Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI-20) programme committee member
2020−2020   
PC member of the 34th AAAI Conference on Artificial Intelligence (AAAI-20)
2019−2019   
PC member of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)
2018−2018   
PC member of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18)
2015−2015   
PC member ,Tests and Proofs, TAP 2015
2014−2014   
PC member ,Tests and Proofs, TAP 2014
2013−2013   
25th Nordic Workshop on Programming Theory, NWPT '13, one of the organisers
2012−2012   
One of the local organisers of the European Joint Conferences on Theory and Practice of Software (ETAPS) 2012
2011−2011   
Paul and Yuanbi Ramsay Research Fund grant for advancing computing infrastructure at School of Computer Science, Birmingham University
2011−2011   
PC member, 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011
2011−2011   
Nuffield Foundation Undergraduate Research Bursary grant for Michal Staniaszek
2010−2010   
PC member, 3rd Workshop on Model-based Testing in Practice, MOTIP 2010
2009−2009   
PC member, 2nd Workshop on Model-based Testing in Practice, MOTIP 2009
2009−2009   
PC member, 16th International Symposium on Formal Methods, FM2009, The Netherlands, Oct 30 - Nov 7, 2009
2008−2008   
PC member, 1st Workshop on Model-based Testing in Practice, MOTIP 2008
2008−2008   
Member of program and organising committees, 7th Estonian Summer School in Comuter and Systems Scienc in collaboration with Nordic Network on Dependable Systems (NODES)
2008−2008   
Member of the Vision TUT2020 team
2007−2007   
Chair of local organisation of the 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, FORTE'07
2007−2007   
Chair of local organisation of the 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, TestCom/FATES'07, http://ioc.ee/testcom-fates-forte07/
2007−2007   
Member of the organising and programme committees, 6th Estonian Summer School in Computer and Systems Science, http://courses.cs.ut.ee/schools/esscass2007/
2007−2008   
Member of the Research Council of the Institute of Cybernetics at TUT
2006−2006   
Member of the local organisation committee, 8th International Conference of Mathematics of Program Construction, http://www.cs.ioc.ee/mpc-amast06/
2006−2006   
Member of the local organisation committee, 11th International Conference on Algrebaic Methodology and Software Technology, http://www.cs.ioc.ee/mpc-amast06/
2006−2006   
Member of the organising and programme committees, 5th Estonian Summer School in Computer and Systems Science, http://cs.ioc.ee/yik/schools/sum2006
2005−2005   
Main organiser and member of the program committee, 4th Estonian Summer School in Computer and System Science, Pedase, August 7-12, 2005, http://www.cs.ioc.ee/yik/schools/sum2005;
2005−2005   
Member of the local organisation committee, 10th ACM SIGPLAN International Conference on Functional Programming, ICFP '05;
2005−2005   
Member of the local organisation committee, 6th International Symposium on Trends in Functional Programming, TFP '05;
2005−2005   
Member of the local organisation committee, 4th International Conference on Generative Programming and Component Engineering, GPCE '05; http://www.cs.ioc.ee/tfp-icfp-gpce05;
2004−2004   
Main organiser and member of the programme committee, 3rd Estonian Summer School in Computer and System Science, Pedase, August 8-12, 2004, http://www.cs.ioc.ee/yik/schools/sum2004;
2004−2004   
Member of the local organisation committee, 2nd APPSEM II Workshop, Tallinn, April 14-16 2004, http://www.cs.ioc.ee/appsem04/
2003−2003   
Main organiser and member of the programme committee, 2nd Estonian Summer School in Computer and Systems Science, Taagepera, August 10-14, 2003, http://www.cs.ioc.ee/yik/schools/sum2003;
2002−2002   
Member of the local organisation committee, 14th Nordic Workshop on Programming Theory, NWPT'02 (Tallinn, November 20-22, 2002), http://www.cc.ioc.ee/nwpt02.

Qualifications

 
 
Honours and awards
2018, Juhan-Peep Ernits, Tallinn University of Technology development project of the year, 1st place
2011, Juhan-Peep Ernits, Runner up in the multithreaded deterministic track in the 7th International Planning Competition (IPC 2011)
2008, Juhan-Peep Ernits, Boris Tamm stipend
2006, Juhan-Peep Ernits, EITSA grant for ICT PhD students
2003, Juhan-Peep Ernits, EITSA grant for ICT PhD students
2002, Juhan-Peep Ernits, Estonian Academy of Sciences, 2nd prize for student research contest
 
 
Fields of research
ETIS RESEARCH FIELD: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS RESEARCH FIELD: P170 Computer science, numerical analysis, systems, control ; SPECIFICATION: Automated fault diagnosis and recovery of real time systems. Consistency based diagnosis. Diagnosis of hybrid systems.
ETIS RESEARCH FIELD: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS RESEARCH FIELD: P176 Artificial intelligence
 
 

Completed projects

Dissertations under supervision

Supervised dissertations

Publications

Category
Year
Publication
 
1.2.
2020
3.1.
2018
3.4.
2018
6.3.
2018
3.1.
2015
3.2.
2014
1.1.
2013
3.4.
2011
3.4.
2011
3.4.
2011
3.1.
2010
3.4.
2010
3.1.
2009
3.4.
2009
3.1.
2008
3.4.
2008
4.2.
2008
5.2.
2008
6.3.
2008
6.3.
2008
2.3.
2007
3.1.
2007
3.1.
2007
3.4.
2007
6.3.
2007
6.3.
2007
6.3.
2007
3.1.
2006
3.1.
2006
5.2.
2006
1.2.
2005
3.1.
2003
6.7.
2002
8.09.2022

Teenistuskäik

Töökohad ja ametid
01.01.2017–31.08.2022   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Dotsent (1,00)
01.09.2012–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool, Dotsent (1,00)
01.01.2008–31.12.2011   
Birminghami Ülikool, teadur (järeldoktorantuur)
01.01.2007–31.12.2007   
Microsoft Researchi Redmondi uurimislabor USA-s, intern, (01.2007-03.2007)
01.01.2003–31.12.2004   
Doktorikoolis BRICS, Taanis, külalisdoktorant Marie Curie Fellowship stipendiumi raames (09.2003-01.2004)
2002–31.10.2008   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool, Teadur (0,50)
2002–31.10.2008   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Teadur (0,50)
01.01.1997–31.12.2002   
TTÜ Küberneetika Instituut, insener
 
 
Haridustee
2002–2007   
Doktoriõpe, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut. Juhendaja prof. Jüri Vain
2000–2002   
Magistriõpe, TTÜ, Arvutiteaduse instituut
1994–1999   
Bakalaureuseõpe, TTÜ arvuti- ja süsteemitehnika õppesuund, Cum Laude
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2022−...   
Taltechi Infortehnoloogia teaduskonna nõukogu liige
2019−...   
Tallinna Tehnikaülikooli Tarkvarateaduse instituudi nõukogu liige
2022−2022   
Konverentsi 37. AAAI Conference on Artificial Intelligence (AAAI-23) programmitoimkonna liige
2020−2020   
Konverentsi International Joint Conference on Artificial Intelligence -- Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI-20) programmitoimkonna liige
2020−2020   
Konverentsi 34. AAAI Conference on Artificial Intelligence (AAAI-20) programmitoimkonna liige
2019−2019   
Konverentsi the 28th International Joint Conference on Artificial Intelligence (IJCAI-19) programmitoimkonna liige
2018−2018   
Konverentsi the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18) programmitoimkonna liige
2015−2015   
Konverentsi Tests and Proofs, TAP 2015, programmitoimkonna liige
2014−2014   
Konverentsi Tests and Proofs, TAP 2014, programmitoimkonna liige
2013−2013   
25th Nordic Workshop on Programming Theory, NWPT '13, üks korraldajatest
2012−2012   
European Joint Conferences on Theory and Practice of Software (ETAPS) 2012 korraldustoimkonna liige
2011−2011   
Paul and Yuanbi Ramsay Research Fund grant arvutusinfrastruktuuri arendamiseks Birminghami Ülikooli Arvutiteaduse Koolis
2011−2011   
Programmitoimkonna liige, 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011
2011−2011   
Nuffield Foundation Undergraduate Research Bursary grant Michal Staniaszekile
2010−2010   
Programmtoimkonna liige, 3rd Workshop on Model-based Testing in Practice, MOTIP 2010
2009−2009   
Programmtoimkonna liige, 2nd Workshop on Model-based Testing in Practice, MOTIP 2009
2009−2009   
Programmitoimkonna liige, 16. Formaalmeetodite Rahvusvaheline Sümpoosion, FM2009, Eindhoven, Holland, 30.10.2009-7.11.2009
2008−2008   
Programmtoimkonna liige, 1st Workshop on Model-based Testing in Practice, MOTIP 2008
2008−2008   
Programmi- ja korraldustoimkonna liige, NODES võrgustikuga koostöös organiseeritud 7. Eesti Arvuti- ja Süsteemiteaduse Suvekool
2008−2008   
TTÜ2020 visiooni koostamise toimkonna liige
2007−2007   
Kohaliku korraldustoimkonna juht, 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, FORTE'07
2007−2007   
Kohaliku korraldustoimkonna juht, 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, TestCom/FATES'07, http://ioc.ee/testcom-fates-forte07/
2007−2007   
Korraldus- ja programmkomitee liige 6th Estonian Summer School in Computer and Systems Science, http://courses.cs.ut.ee/schools/esscass2007/
2007−2008   
TTÜ Küberneetika Instituudi teadusnõukogu liige
2006−2006   
Kohaliku korraldustoimkonna liige, 8th International Conference of Mathematics of Program Construction, http://www.cs.ioc.ee/mpc-amast06/
2006−2006   
Kohaliku korraldustoimkonna liige, 11th International Conference on Algrebaic Methodology and Software Technology, http://www.cs.ioc.ee/mpc-amast06/
2006−2006   
Korraldus- ja programmkomitee liige 5th Estonian Summer School in Computer and Systems Science, http://cs.ioc.ee/yik/schools/sum2006
2005−2005   
Põhikorraldaja ja programmkomitee liige, 4. Eesti Arvuti- ja Süsteemiteaduse Suvekool, Pedase, 7.-12. august 2005.a., http://www.cs.ioc.ee/yik/schools/sum2005;
2005−2005   
Kohaliku korraldustoimkonna liige, 10th ACM SIGPLAN International Conference on Functional Programming, ICFP '05;
2005−2005   
Kohaliku korraldustoimkonna liige, 6th International Symposium on Trends in Functional Programming, TFP '05;
2005−2005   
Kohaliku korraldustoimkonna liige, 4th International Conference on Generative Programming and Component Engineering, GPCE '05; http://www.cs.ioc.ee/tfp-icfp-gpce05;
2004−2004   
Põhikorraldaja ja programmkomitee liige, 3. Eesti Arvuti- ja Süsteemiteaduse Suvekool, Pedase, 8.-12. august 2004.a., http://www.cs.ioc.ee/yik/schools/sum2004;
2004−2004   
Kohaliku korraldustoimkonna liige, 2nd APPSEM II Workshop, Tallinn, 14.-16. aprill 2004.a., http://www.cs.ioc.ee/appsem04/
2003−2003   
Põhikorraldaja ja programmkomitee liige, 2. Eesti Arvuti- ja Süsteemiteaduse Suvekool, Taagepera, 10.-14. august 2003.a., http://www.cs.ioc.ee/yik/schools/sum2003;
2002−2002   
Kohaliku korraldustoimkonna liige, 14th Nordic Workshop on Programming Theory, NWPT'02 (Tallinn, 20-22 november 2002), http://www.cc.ioc.ee/nwpt02.

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
2018, Juhan-Peep Ernits, Tallinna tehnikaülikooli aasta arendustöö I koht
2011, Juhan-Peep Ernits, 2. koht mitmelõimeliste deterministlike plaanijate kategoorias 7. Rahvusvahelisel Plaanijate Võistlusel IPC 2011
2008, Juhan-Peep Ernits, Akadeemik Boris Tamme nimeline stipendium
2006, Juhan-Peep Ernits, Tiigriülikooli stipendiumid IKT doktorantidele Eesti avalik-õiguslikes ülikoolides
2003, Juhan-Peep Ernits, Tiigriülikooli stipendiumid IKT doktorantidele Eesti avalik-õiguslikes ülikoolides
2002, Juhan-Peep Ernits, Eesti Teaduste Akadeemia 2002.a. üliõpilastööde konkursi II preemia.
 
 
Teadustöö põhisuunad
ETIS VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS VALDKOND: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); TÄPSUSTUS: Automaatne vigade diagnoosimine ja parandamine reaalajasüsteemides. Kooskõlalisusel põhinev diagnoosimine. Hübriidsüsteemide diagnoosimine.
ETIS VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS VALDKOND: P176 Tehisintellekt

Lõppenud projektid

Juhendamisel väitekirjad

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.2.
2020
3.1.
2018
3.4.
2018
6.3.
2018
3.1.
2015
3.2.
2014
1.1.
2013
3.4.
2011
3.4.
2011
3.4.
2011
3.1.
2010
3.4.
2010
3.1.
2009
3.4.
2009
3.1.
2008
3.4.
2008
4.2.
2008
5.2.
2008
6.3.
2008
6.3.
2008
2.3.
2007
3.1.
2007
3.1.
2007
3.4.
2007
6.3.
2007
6.3.
2007
6.3.
2007
3.1.
2006
3.1.
2006
5.2.
2006
1.2.
2005
3.1.
2003
6.7.
2002
8.09.2022

Search project

  • {{item.Name}}
Institution is projects' financier   Institution is projects' executor  
  • {{searchListItem.Name}}
All   Projects   Master projects   Subprojects  
All
Ongoing
Finished
Beginning
Fuzzy
Precise
  • Found 12 results
ProgramTypeNumberNameProject startProject endPrincipal investigatorInstitutionFunding
MUULep13121ELIKO Competence Centre EU30017, sub-project 2.2: Implementation of the compositional extension of test generator REACTIVE01.03.201330.06.2013Juhan-Peep ErnitsTallinn University of Technology; Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics9 980,00 EUR
MUUVEU16062Expanded Underwater Robotics Ready for Oil Spill (e-URready40S)01.01.201731.12.2018Juhan-Peep ErnitsTallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of General Informatics38 805,69 EUR
TKEXCSEstonian Excellence in Computer Science - EXCS07.07.200831.08.2015Tarmo UustaluTallinn University of Technology; Tallinn University of Technology , Institute of Cybernetics at TUT4 244 372,58 EUR
1.2.2.1.VFP21010Accelerating deployment and matureness of DIHs for the benefit of Digitisation of European SMEs 01.07.202030.06.2023Tauno OttoTallinn University of Technology , School of Engineering, Department of Mechanical and Industrial Engineering 59 875,00 EUR
MUUG4156 (ETF4156)Formal methods for verification of hybrid dynamical systems01.01.200031.12.2003Jüri VainTallinn University of Technology; Tallinn University of Technology , Institute of Cybernetics at TUT20 004,35 EUR
2.1.SS419Self-driving car06.01.201731.03.2019Raivo SellTallinn University of Technology , School of Engineering, Department of Mechanical and Industrial Engineering 260 000,00 EUR
SFSF0140018s08Synthesis of complex nonlinear control systems01.01.200831.12.2013Ülle KottaTallinn University of Technology , Institute of Cybernetics at TUT756 803,02 EUR
ETFETF5775Abstraction-based verification and analysis of infinite state systems01.01.200431.12.2007Jüri VainTallinn University of Technology , Institute of Cybernetics at TUT28 836,18 EUR
SFSF0322520s03Nonlinear and hybrid control systems01.01.200331.12.2007Ülle KottaTallinn University of Technology , Institute of Cybernetics at TUT415 457,67 EUR
ETFETF7667Synthesis of model based reactive planners for nondeterministic and distributed systems01.01.200831.12.2011Jüri VainTallinn University of Technology , Institute of Cybernetics at TUT56 550,81 EUR
MUUG5086 (ETF5086)Pattern-based modeling and analysis of computer integrated systems01.01.200231.12.2005Tiit RiismaaTallinn University of Technology; Tallinn University of Technology , Institute of Cybernetics at TUT14 699,68 EUR
IUTIUT33-13Methods, tools and processes for software with strong guarantees01.01.201531.12.2020Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT; Tallinn University of Technology , School of Information Technologies, Department of Software Science1 080 000,00 EUR