See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
12.09.1975
620 4223

Teenistuskäik

Töökohad ja ametid
01.01.2017–16.04.2017   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, insener (1,00)
2010–31.12.2016   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, insener (1,00)
2005–2010   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Teadur (1,00)
1998–2005   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Insener (1,00)
 
 
Haridustee
2001–2005   
doktorantuur arvuti- ja süsteemitehnikas, TTÜ
1998–2000   
magistrantuur arvuti- ja süsteemitehnikas, TTÜ
1993–1998   
diplomiõpingud arvuti- ja süsteemitehnikas, TTÜ

Kvalifikatsioon

 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: deduktiivsed ja induktiivsed programmide sünteesi meetodid, evolutsioonilised algoritmid
 
 
Lisainfo
2006-2011 SF teema 0322709s06 Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad, põhitäitja //2003-2006 ETFi grant 5567 Mitteklassikalised loogikad ja programmeerimisteooria, põhitäitja

Lõppenud projektid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2016
3.1.
2016
3.1.
2010
5.2.
2006
3.4.
2005
1.2.
2004
1.1.
2003
3.2.
2003
3.4.
2003
5.2.
2003
3.4.
1999
23.04.2019
12.09.1975
620 4223

Career

Institutions and positions
01.01.2017–16.04.2017   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, engineer (1,00)
2010–31.12.2016   
Tallinn University of Technology , Institute of Cybernetics at TUT, Engineer (1,00)
2005–2010   
Tallinn University of Technology , Institute of Cybernetics at TUT, Researcher (1,00)
1998–2005   
Tallinn University of Technology , Institute of Cybernetics at TUT, Engineer (1,00)
 
 
Education
2001–2005   
Tallinn University of Technology, PhD studies in computer and systems engineering
1998–2000   
Tallinn University of Technology, MSc studies in computer and systems engineering
1993–1998   
Tallinn University of Technology, diploma studies in computer and systems engineering

Qualifications

 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: deductive and inductive methods of program synthesis, evolutionary algorithms
 
 

Completed projects

Publications

Category
Year
Publication
 
1.1.
2016
3.1.
2016
3.1.
2010
5.2.
2006
3.4.
2005
1.2.
2004
1.1.
2003
3.2.
2003
3.4.
2003
5.2.
2003
3.4.
1999
23.04.2019

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 5 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
ETFETF5567Mitteklassikalised loogikad ja programmeerimisteooria01.01.200331.12.2006Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut48 420,17 EUR
SFSF0321769s01Ontoloogiale orienteeritud programmeerimine01.01.200131.12.2005Jaan PenjamTallinna Tehnikaülikool, TTÜ Küberneetika Instituut492 119,70 EUR
ETFETF6940Programmiloogikad, tüübisüsteemid ja usaldusväärne koodigenereerimine01.01.200731.12.2010Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut61 030,00 EUR
SFSF0322709s06Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.200631.12.2011Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut968 170,23 EUR