This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree
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
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

Search project

  • {{item.Name}}
Institution is projects' financier   Institution is projects' executor  
  • {{searchListItem.Name}}
All   Projects   Master projects   Subprojects  
New Frascati (2015)
Old and new Frascati
All
Ongoing
Finished
Beginning
Fuzzy
Precise
  • Found 5 results
ProgramTypeNumberNameProject startProject endPrincipal investigatorInstitutionFinancing
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
ETFETF5567Non-classical logics and programming theory01.01.200331.12.2006Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT48 420,17 EUR
SFSF0321769s01Ontology Oriented Programming01.01.200131.12.2005Jaan PenjamTallinn University of Technology , Institute of Cybernetics at TUT492 119,70 EUR
ETFETF6940Program logics, type systems and trustworthy code generation01.01.200731.12.2010Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT61 030,00 EUR
SFSF0322709s06Dependable software and human language technologies01.01.200631.12.2011Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT968 170,23 EUR