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
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS ERIALA: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); PÕHISUUND: funktsionaalne reaktiivne programmeerimine, tüübisüsteemid, intuitionistlik modaalloogika, kategooriateooria, geneeriline programmeerimine, inkrementaalne arvutamine, FRP ja andmevooprogrammeerimise põhised valdkonnaspetsiifilised keeled

Publikatsioonid

Klass
Aasta
Publikatsioon
 
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
18.04.2019
4.11.1976
Scopus Author ID 36456763800

Career

Institution(s) and position(s)
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

 
 
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: functional reactive programming, type systems, intuitionistic modal logic, category theory, generic programming, incremental computing, domain-specific languages based on FRP and dataflow programming
 
 

Publications

Category
Year
Publication
 
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
18.04.2019
  • 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 642 075,15 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 instituut900 000,00 EUR
SFSF0140007s12Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.201231.12.2014Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut514 620,00 EUR