See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
4.11.1976
Scopus Author ID 36456763800

Teenistuskäik

Töökohad ja ametid
01.10.2017–...   
Well-Typed LLP, Haskelli konsultant (1,00)
01.01.2017–30.09.2017   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Vanemteadur (1,00)
01.12.2015–31.12.2016   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Vanemteadur (1,00)
01.10.2011–30.11.2015   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline vanemteadur (1,00)
01.10.2005–30.09.2011   
Brandenburgi Cottbusi Tehnikaülikool, uurimis- ja õppeassistent (1,00)
15.11.2000–15.03.2001   
Bosch Power Tools, Leinfelden-Echterdingen, stažöör (1,00)
 
 
Haridustee
2005–2011   
Brandenburgi Cottbusi Tehnikaülikool, doktorantuur informaatikas
1997–2005   
Brandenburgi Cottbusi Tehnikaülikool, diplomiõpingud informaatikas
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2017−2017   
programmitoimkonna esimees, HaL 2017
2016−2016   
programmitoimkonna liige, HaL 2016
2008−2009   
professori valimise komisjoni liige Brandenburgi Cottbusi Tehnikaülikoolis

Kvalifikatsioon

 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); TÄPSUSTUS: funktsionaalne reaktiivne programmeerimine, tüübisüsteemid, intuitionistlik modaalloogika, kategooriateooria, geneeriline programmeerimine, inkrementaalne arvutamine, FRP ja andmevooprogrammeerimise põhised valdkonnaspetsiifilised keeled

Jooksvad projektid

Lõppenud projektid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2020
1.1.
2016
3.1.
2016
3.1.
2014
3.1.
2014
3.1.
2013
5.2.
2013
1.1.
2012
2.3.
2012
3.1.
2010
3.1.
2010
3.4.
2008
2.3.
2005
30.08.2020
4.11.1976
Scopus Author ID 36456763800

Career

Institutions and positions
01.10.2017–...   
Well-Typed LLP, Haskell consultant (1,00)
01.01.2017–30.09.2017   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Senior Researcher (1,00)
01.12.2015–31.12.2016   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (1,00)
01.10.2011–30.11.2015   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Senior Researcher (1,00)
01.10.2005–30.09.2011   
Brandenburg University of Technology, Cottbus, research and teaching assistant (1,00)
15.11.2000–15.03.2001   
Bosch Power Tools, Leinfelden-Echterdingen, intern (1,00)
 
 
Education
2005–2011   
Brandenburgische Technische Universität Cottbus, PhD studies in informatics
1997–2005   
Brandenburgische Technische Universität Cottbus, diploma studies in informatics
 
 
R&D related managerial and administrative work
2017−2017   
chair of program committee, HaL 2017
2016−2016   
member of program committee, HaL 2016
2008−2009   
member of selection committee for a professor position at Brandenburgische Technische Universität Cottbus

Qualifications

 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P170 Computer science, numerical analysis, systems, control ; SPECIFICATION: functional reactive programming, type systems, intuitionistic modal logic, category theory, generic programming, incremental computing, domain-specific languages based on FRP and dataflow programming
 
 

Projects in progress

Completed projects

Publications

Category
Year
Publication
 
3.1.
2020
1.1.
2016
3.1.
2016
3.1.
2014
3.1.
2014
3.1.
2013
5.2.
2013
1.1.
2012
2.3.
2012
3.1.
2010
3.1.
2010
3.4.
2008
2.3.
2005
30.08.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
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
ETFETF9398Paralleeltarkvara kontrollitavad garantiid01.01.201231.03.2016Silvio CapobiancoTallinna Tehnikaülikool, TTÜ Küberneetika Instituut46 440,00 EUR
IUTIUT33-13Tugevate garantiidega tarkvara meetodid, tööriistad ja protsessid01.01.201531.12.2020Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut1 080 000,00 EUR
SFSF0140007s12Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.201231.12.2014Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut514 620,00 EUR