This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree
28.05.1987
Scopus Author Id 56016511700

Career

Institutions and positions
01.02.2019–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Researcher (0,20)
07.01.2019–...   
Guardtime AS, engineer (0,80)
19.01.2017–04.12.2018   
The University of Iowa, Post-Doc (1,00)
01.12.2015–18.01.2017   
Tallinn University of Technology , Institute of Cybernetics at TUT, Junior Researcher (1,00)
01.06.2011–30.11.2015   
Tallinn University of Technology , Institute of Cybernetics at TUT, engineer (1,00)
 
 
Education
2012–31.08.2016   
Tallinn University of Technology, PhD studies in information and communication technology
2010–2012   
Tallinn University of Technology, master's studies in informatics
2006–2010   
Estonian Information Technology College, professional higher education studies in IT systems development

Qualifications

Publications

Category
Year
Publication
 
3.1.
2020
3.1.
2019
1.2.
2018
3.1.
2018
3.1.
2018
2.3.
2016
3.1.
2016
3.1.
2016
5.2.
2016
3.1.
2015
3.1.
2015
1.1.
2014
3.1.
2013
2.3.
2012
29.10.2020
28.05.1987
Scopus Author Id 56016511700

Teenistuskäik

Töökohad ja ametid
01.02.2019–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Teadur (0,20)
07.01.2019–...   
Guardtime AS, insener (0,80)
19.01.2017–04.12.2018   
Iowa Ülikool, Järeldoktor (1,00)
01.12.2015–18.01.2017   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Nooremteadur (1,00)
01.06.2011–30.11.2015   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, insener (1,00)
 
 
Haridustee
2012–31.08.2016   
Tallinna Tehnikaülikool, doktorantuur info- ja kommunikatsioonitehnoloogias
2010–2012   
Tallinna Tehnikaülikool, magistriõpingud informaatikas
2006–2010   
Eesti Infotehnoloogia Kolledž, rakenduskõrgharidusõpingud IT süsteemide arenduses

Kvalifikatsioon

 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2020
3.1.
2019
1.2.
2018
3.1.
2018
3.1.
2018
2.3.
2016
3.1.
2016
3.1.
2016
5.2.
2016
3.1.
2015
3.1.
2015
1.1.
2014
3.1.
2013
2.3.
2012
29.10.2020

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 7 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
MUUIKT29 (3.2.1201.13-0029)Coinduction for semantics, analysis and verification of communicating and concurrent reactive software01.03.201330.11.2015Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT526 194,00 EUR
1.1.3.EITSA18017Research measure of IT Academy programme for 2018-2022: Software trustworthiness01.01.201831.12.2022Paweł Maria SobocińskiTallinn University of Technology , School of Information Technologies, Department of Software Science1 864 416,00 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 121 014,65 EUR
PUTPUT763Sound and Efficient Functional Reactive Programming01.01.201531.12.2016Wolfgang JeltschTallinn University of Technology , Institute of Cybernetics at TUT100 560,00 EUR
ETFETF9475Mathematical structures in programming languages01.01.201231.03.2016Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT33 984,00 EUR
SFSF0140007s12Dependable software and human language technologies01.01.201231.12.2014Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT514 620,00 EUR