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