18.06.1965
620 4224
hellis@cs.ioc.ee

Career

Institution(s) and position(s)
01.01.2017–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Senior Researcher (1,00)
2008–2016   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (1,00)
2005–2008   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Senior Researcher (1,00)
1998–2005   
University of Helsinki, Researcher (1,00)
1997–2005   
University of Helsinki, PhD student (1,00)
1994–1996   
University of Florida, office assistant (0,50)
1990–1994   
University of Tartu, PhD student (1,00)
1988–1990   
University of Tartu, engineer (1,00)
 
 
Education
1997–2005   
University of Helsinki, PhD studies in computer science
1990–1994   
University of Tartu, PhD studies
1983–1988   
Tartu State University, diploma studies in applied mathematics

Qualifications

 
 
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS SPECIALITY: P170 Computer science, numerical analysis, systems, control ; SPECIALITY: Automata theory
 
 
Additional information
2012-2014 HTM target financing theme SF0140007s12 Dependable software and human language technologies, investigator //2006-2011 HTM target financing theme 0322709s06 Dependable software and human language technologies, investigator //2008-2011 ETF 2008 project Algebraic automata theory, principal investigator //2005-2008 project 1.0101-0275 of Measure 1.1 of Estonian NDP, postdoc fellow //

Publications

Category
Year
Publication
 
3.1.
2019
3.1.
2018
3.1.
2017
3.1.
2016
3.1.
2015
1.1.
2014
1.1.
2013
3.1.
2012
3.1.
2012
3.1.
2011
3.1.
2010
1.1.
2008
3.1.
2007
1.1.
2006
1.1.
2006
1.1.
2005
1.1.
2004
2.3.
2004
1.1.
2003
1.1.
2003
3.1.
2000
1.1.
1999
5.09.2019
18.06.1965
620 4224
hellis@cs.ioc.ee

Teenistuskäik

Töökohad ja ametid
01.01.2017–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Vanemteadur (1,00)
2008–2016   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Vanemteadur (1,00)
2005–2008   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline vanemteadur (1,00)
1998–2005   
Helsingi Ülikool, Teadur (1,00)
1997–2005   
Helsingi Ülikool, doktorant (1,00)
1994–1996   
Florida Ülikool, kontoriassistent (0,50)
1990–1994   
Tartu Ülikool, doktorant (1,00)
1988–1990   
Tartu Ülikool, insener (1,00)
 
 
Haridustee
1997–2005   
Helsingi Ülikool, doktorantuur arvutiteaduses
1990–1994   
Tartu Ülikool, aspirantuur/doktorantuur
1983–1988   
Tartu Riiklik Ülikool, diplomiõpingud rakendusmatemaatikas

Kvalifikatsioon

 
 
Teadustöö põhisuunad
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS ERIALA: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); PÕHISUUND: Automaatide teooria
 
 
Lisainfo
2012-2014 HTM SF teema SF0140007s12 Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad, põhitäitja //2006-2011 HTM SF teema 0322709s06 Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad, põhitäitja //2008-2011 ETF 2008 projekt Algebraline automaatide teooria, vastutav täitja //2005-2008 RAKi meetme 1.1 projekt 1.0101-0275, järeldoktorant //

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2019
3.1.
2018
3.1.
2017
3.1.
2016
3.1.
2015
1.1.
2014
1.1.
2013
3.1.
2012
3.1.
2012
3.1.
2011
3.1.
2010
1.1.
2008
3.1.
2007
1.1.
2006
1.1.
2006
1.1.
2005
1.1.
2004
2.3.
2004
1.1.
2003
1.1.
2003
3.1.
2000
1.1.
1999
5.09.2019
  • Found 8 results
ProgramTypeNumberNameProject startProject endPrincipal investigatorInstitutionFinancing
ETFETF7520Algebraic automata theory01.01.200831.12.2011Hellis TammTallinn University of Technology , Institute of Cybernetics at TUT43 111,63 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
TKSubprojectTAR16013 (EXCITE) (TK148)Estonian Centre of Excellence in ICT Research01.09.201601.03.2023Maarja KruusmaaTallinn University of Technology , School of Information Technologies, Centre for Biorobotics; Cybernetica AS2 642 075,15 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
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 Science900 000,00 EUR
SFSF0140007s12Dependable software and human language technologies01.01.201231.12.2014Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT514 620,00 EUR
SFSF0322709s06Dependable software and human language technologies01.01.200631.12.2011Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT968 170,23 EUR