See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
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

Jooksvad projektid

Lõppenud projektid

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

Tööstusomand

29.10.2020
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

Projects in progress

Completed projects

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

Industrial property

29.10.2020

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 7 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
MUUIKT29 (3.2.1201.13-0029)Coinduction for semantics, analysis and verification of communicating and concurrent reactive software01.03.201330.11.2015Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut526 194,00 EUR
1.1.3.EITSA18017IT Akadeemia programmi IKT teaduse toetusmeede perioodiks 2018-2022: Tarkvara usaldusväärsus01.01.201831.12.2022Paweł Maria SobocińskiTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut1 864 416,00 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 121 014,65 EUR
PUTPUT763Korrektne ja efektiivne funktsionaalne reaktiivne programmeerimine01.01.201531.12.2016Wolfgang JeltschTallinna Tehnikaülikool, TTÜ Küberneetika Instituut100 560,00 EUR
ETFETF9475Matemaatilised struktuurid programmeerimiskeeltes01.01.201231.03.2016Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut33 984,00 EUR
SFSF0140007s12Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.201231.12.2014Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut514 620,00 EUR