See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
+3726202326
juhan.ernits@ttu.ee

Teenistuskäik

Töökohad ja ametid
01.01.2017–...   
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
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
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.

Lõppenud projektid

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
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
4.03.2020
+3726202326
juhan.ernits@ttu.ee

Career

Institutions and positions
01.01.2017–...   
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
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 & awards
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
 
 

Completed projects

Supervised dissertations

Publications

Category
Year
Publication
 
1.1.
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
4.03.2020

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
  • Leitud 11 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
MUULep13121"ELIKO Competence Centre EU30017, alamprojekt 2.2: Testigeneraatori REACTIVE kompositsioonilise laienduse elluviimine01.03.201330.06.2013Juhan-Peep ErnitsTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool9 980,00 EUR
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
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
2.1.SS419Isejuhtiv auto06.01.201731.03.2019Raivo SellTallinna Tehnikaülikool, Inseneriteaduskond, Mehaanika ja tööstustehnika instituut 260 000,00 EUR
SFSF0140018s08Keerukate mittelineaarsete juhtimissüsteemide süntees01.01.200831.12.2013Ülle KottaTallinna Tehnikaülikool, TTÜ Küberneetika Instituut756 803,02 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
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
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
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 instituut1 080 000,00 EUR