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

Google Scholar Citations:
https://scholar.google.com/citations?user=BFHrFCUAAAAJ

Teenistuskäik

Töökohad ja ametid
01.10.2017–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Juhtivteadur (0,30)
01.10.2017–...   
Reykjaviki Ülikool, arvutiteaduse teaduskond, Professor (0,70)
01.01.2017–30.09.2017   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Juhtivteadur (0,80)
01.01.2017–30.09.2017   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Professor (0,20)
01.09.2009–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Professor (0,25)
01.06.2009–31.12.2016   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Juhtivteadur (1,00)
01.09.2004–31.08.2009   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Professor (0,50)
01.09.2002–31.08.2004   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Dotsent (0,50)
18.04.2000–17.04.2002   
Universidade do Minho, Braga, Dep. de Informática, järeldoktorant-stipendiaat (1,00)
01.09.1999–31.05.2009   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Vanemteadur (1,00)
15.02.1999–31.08.1999   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Vanemteadur (0,25)
01.07.1998–31.08.1999   
Kungl. Tekniska Högskolan, Stockholm, Inst. för teleinformatik, dotsendi kt. (1,00)
10.09.1992–30.06.1998   
Kungl. Tekniska Högskolan, Stockholm, Inst. för teleinformatik, doktorant/uurimisinsener (1,00)
01.01.1986–31.12.1992   
Eesti TA Küberneetika Instituut, vanemtehnik/insener
 
 
Haridustee
1992–1998   
Kungl Tekniska Högskolan, Stockholm, doktorantuur arvutiteaduses
1987–1992   
Tallinna Polütehniline Instituut/Tallinna Tehnikaülikool, diplomi/magistriõpingud automatiseeritud juhtimissüsteemides/süsteemitehnikas ja informaatikas
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2020−...   
programmitoimkonna liige, SETTA '20
2020−...   
programmitoimkonna liige, BX '20 (edasi lükatud 2021. a-sse)
2020−...   
programmitoimkonna liige, FM '21
2019−...   
juhttoimkonna liige, ICTAC
2017−...   
juhttoimkonna liige, MPC
2013−...   
juhttoimkonna liige, DTP
2010−...   
juhttoimkonna liige, ETAPS
2010−...   
Eesti Teaduste Akadeemia akadeemik
2010−...   
juhttoimkonna liige, MSFP
2010−...   
liige, IFIP WG 1.2
2009−...   
juhttoimkonna liige, FICS
2006−...   
toimetuskolleegiumi liige, J. of Univ. Comput. Sci.
2002−...   
initsiaator ja peakorraldajaid, Eesti arvutiteaduse teooriapäevad
2019−2020   
programmitoimkonna liige, FSCD '20
2019−2019   
programmitoimkonna liige, SETTA '19
2019−2020   
programmitoimkonna liige, MSFP '20
2019−2020   
programmitoimkonna liige, MFPS XXXVI
2019−2020   
programmitoimkonna liige, TYPES '20
2019−2020   
programmitoimkonna esimees, NWPT '19
2018−2018   
programmitoimkonna liige, TFP '18
2018−2019   
programmitoimkonna liige, FM '19
2018−2019   
välise retsensentide kogu liige, ICFP '19
2018−2019   
programmitoimkonna liige, ICTAC '19
2018−2019   
programmitoimkonna liige, MFCS '19
2018−2019   
programmitoimkonna liige, TYPES '19
2018−2019   
programmitoimkonna liige, MFPS XXXV
2018−2019   
programmitoimkonna liige, LOLA '19
2018−2019   
programmitoimkonna liige, PPDP '19
2017−2017   
programmitoimkonna liige, TYPES '17
2017−2017   
programmitoimknna liige, MFCS '17
2017−2017   
programmitoimkonna liige, SETTA '17
2017−2017   
programmitoimkonna liige, TyDe '17
2017−2017   
programmitoimkonna liige, RV-CuBES '17
2017−2018   
programmitoimkonna liige, MFPS XXXIV
2017−2017   
programmi- ja korraldustoimkonna esimees, COST action EUTYPES summer school 2017
2016−2016   
programmitoimkonna liige, SETTA '16
2016−2018   
programmitoimkonna esimees, ICTAC '18
2015−2017   
ETAGi loodus- ja tehnikateaduste ekspertkomisjoni liige
2014−2015   
programmitoimkonna liige, MFCS '15
2014−2015   
programmitoimkonna liige, MPC '15
2014−2015   
programmitoimkonna esimees, TYPES '15
2013−2016   
juhttoimkonna liige, WGP
2013−2016   
KübI teadusnõukogu liige
2013−2015   
programmitoimkonna liige, SETTA '15
2013−2014   
programmitoimkonna liige, PPDP '13
2013−2014   
programmitoimkonna liige, TFP '14
2013−2014   
programmitoimkonna liige, LATIN '14
2013−2013   
programmitoimkonna esimees, NWPT '13
2012−2013   
programmitoimkonna liige, RTA '13
2012−2013   
programmitoimkonna liige, TYPES '13
2012−2013   
programmitoimkonna liige, ICTAC '13
2012−2013   
korraldaja, NII Shonan seminar nr 026 "Coinduction for computation structures and programming languages"
2012−2013   
programmitoimkonna esimees, ICFP '13
2012−2015   
juhttoimkonna liige, ICFP
2012−2012   
programmitoimkonna liige, SVARM/VERIFY '12
2012−2013   
programmitoimkonna liige, PEPM '13
2012−2013   
programmitoimkonna liige, SOFSEM '13
2011−2012   
programmitoimkonna liige, FoVeOOS '11
2011−2011   
programmitoimkonna liige, PPDP '11
2011−2011   
programmitoimkonna liige, FCT '11
2011−2011   
programmitoimkonna liige, SPLST '11
2011−2011   
programmitoimkonna liige, WGP '11
2011−2017   
juhttoimkonna liige, TYPES Meetings
2011−2012   
programmitoimkonna liige, FICS '12
2011−2012   
Eesti teadusaasta saadik
2010−2010   
programmitoimkonna liige, FICS '10, MSFP '10
2010−2010   
programmitoimkonna liige, FoVeOOS '10
2010−2012   
korraldustoimkonna esimees, ETAPS '12
2010−2013   
KübI teadusnõukogu liige
2009−2010   
programmitoimkonna liige, CMCS '10
2009−2009   
programmitoimkonna liige, FM '09-DC, NBE '09
2009−2009   
programmitoimkonna esimees, FICS '09
2009−2010   
KübI teadusnõukogu liige
2009−2010   
programmitoimkonna liige, MPC '10
2008−2008   
programmi- ja korraldustoimkonna esimees, NWPT '08
2008−2009   
programmi- ja korraldustoimkonna esimees, COST action FoVeOOS winter school 2009
2008−2008   
programmitoimkonna liige, PEPM '09
2007−2007   
programmitoimkonna liige, PPDP '07
2007−2008   
programmitoimkonna liige, MPC '08
2007−2008   
programmitoimkonna liige, MSFP '08
2007−2008   
korraldaja, EffTT 2007 ja DTP 2008
2007−2008   
programmitoimkonna liige, CMCS '08
2006−2011   
TKNi reaalteaduste ekspertgrupi liige
2005−2006   
programmitoimkonna esimees, MPC '06, MSFP '06
2005−2006   
TKNi reaalteaduste ekspertgrupi liige
2005−2006   
korraldustoimkonna esimees, MPC/AMAST '06
2005−2006   
programmitoimkonna liige, TFP '05
2005−2006   
programmitoimkonna liige, CMCS '06
2005−2008   
RAKi meetme 1.1 IKT doktorikooli projekti juht
2004−2006   
korraldustoimkonna esimees, TFP/ICFP/GPCE '05, IFIP WG 2.8 meeting #22
2004−2007   
KübI teadusnõukogu liige
2003−2004   
korraldustoimkonna esimees, APPSEM '04
2003−2004   
programmi- ja korraldustoimkonna liige, AFP '04
2003−2018   
programmitoimkonna liige, NWPT '03-'07, '09-'12, '14-'18
2003−2020   
programmi- ja korraldustoimkonna esimees, EWSCS '04-'20
2002−2002   
ETFi tehnikateaduste ekspertpaneeli liige
2001−2002   
korraldustoimkonna liige, NWPT '02
1998−2003   
programmi- ja korraldustoimkonna liige, EWSCS '99-'03

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
2019, Tarmo Uustalu, Valgetähe orden, III klass
2015, Tarmo Uustalu, riigi teaduspeemia täppisteadustes
2012, Tarmo Uustalu, parima artikli auhinna nominatsioon konverentsil ETAPS '12
2011, Tarmo Uustalu, TTÜ aasta teadlane 2010
2010, Tarmo Uustalu, 2.-3. koht TTÜ 2008-2009 parima publikatsiooni konkursil loodus- ja täppisteaduste valdkonnas
2002, Tarmo Uustalu, Boris Tamme nim. stipendium
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: Struktuurne tõestusteooria ja tüübiteooria, algebraline ja kategoorne loogika, programmikeelte semantika, programmiloogikad, funktsionaalprogrammeerimine, programmide transformeerimise ja konstrueerimise meetodid, modaalloogikate arvutiteaduslikud rakendused.
 
 
Lisainfo
2018-2023 HTM ja ESF IT Akadeemia teadusmeetme tarkvara usaldusväärsuse suund, suuna juht // 2016-2023 ERDFi Eesti teaduse tippkeskus Eesti IT Tippkeskus, EXCITE, tuumikrühma liige //2015-2020 HTMi institutsionaalne uurimistoetus IUT33-13 Tugevate garantiidega tarkvara meetodid, tööriistad ja protsessid //2013-2015 ERDFi IKT T&A toetamise meetme projekt Coinduction for semantics, analysis and verification of communicating and concurrent reactive software, projekti juht //2012-2016 ETFi grant 9475 Matemaatilised struktuurid programmeerimiskeeltes, grandi hoidja // 2012-2014 HTMi SF teema 0140007s12 Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad, teemajuht // 2008-2015 ERDFi Eesti teaduse tippkeskus Arvutiteaduse tippkeskus, EXCS, projekti juht // 2007-2010 ETFi grant 6940 Programmiloogikad, tüübisüsteemid ja usaldusväärne koodigenereerimine, grandihoidja // 2006-2011 HTMi SF teema 0322709s06 Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad, teemajuht // 2003-2006 ETFi grant 5567 Mitteklassikalised loogikad ja programmeerimisteooria, grandihoidja // 2002-2007 HTMi Eesti teaduse tippkeskus Töökindlate arvutisüsteemide keskus, CDC, töörühma juht // 2001-2005 HTMi SF teema 0321769s01 Ontoloogiale orienteeritud programmeerimine, põhitäitja // 2000-2002 ETFi grant 4155 Intermediaar- ja modaalloogikad programmikeelte teoorias ja formaalmeetodites, grandihoidja //

2020-2024 COSTi aktsioon CA19135 Connecting education and research communities for an innovative resource aware society, CERCIRAS, Eesti esindaja juhtkomitees // 2019-2021 Islandi Teadusfondi projektigrant Quantified computational effects and interaction, projektijuht // 2017-2018 ETAGi/Campus France'i Eesti-Prantsuse koostööprogrammi Parrot projekt Mathematical structures for dualities in programming languages, kaasjuht // 2016-2020 COSTi aktsioon CA15123 The European research network on types for programming and verification, EUTYPES, aktsiooni asejuht // 2014-2018 COSTi aktsioon IC1402 Runtime verification beyond monitoring, ARVI, Eesti esindaja juhttoimkonnas // 2013-2016 COSTi aktsioon IC1201 Behavioural types for reliable large-scale software systems, BETTY, Eesti esindaja juhttoimkonnas // 2011-2013 COSTi aktsioon IC0901 Rich model toolkit, Eesti esindaja juhtkomitees // 2011-2012 ETFi/Égide'i Eesti-Prantsuse koostööprogrammi Parrot projekt Andme- ja juhtimisvoogu kombineerivate sünkroonkeelte formaalne semantika, kaasjuht // 2010-2013 FP7 ICT integreeritud projekt HATS, KübI töörühma juht // 2008-2012 COSTi aktsioon IC0701 Formal verification of object-oriented software, Eesti esindaja juhtkomitees // 2005-2009 FP6 IST integreeritud projekt MOBIUS, KübI töörühma juht // 2004-2008 FP6 IST koordinatsiooniaktsioon TYPES 4, KübI töörühma juht // 2003-2006 FP5 IST temaatiline võrgustik APPSEM II, KübI töörühma juht // 2003-2005 Royal Society projekt Programmeerimine algebrate, koalgebrate, monaadide ja komonaadidega, kaasjuht // 2003-2004 ETFi/Égide'i Eesti-Prantsuse koostööprogrammi Parrot projekt Tüübid ja tõestused ohutus tarkvaras, kaasjuht // 2002-2005 FP5 IST kaasnevate meedete projekt eVikings II, projekti T&A juht

Lõppenud projektid

Juhendatud väitekirjad

Juhendatud järeldoktorid

  • 01.09.2005−31.08.2006 Olha Shkaravska "postdoc within the MOBIUS project" Tallinna Tehnikaülikool, Küberneetika Instituut
  • 01.10.2008−28.02.2011 Keiko Nakata "postdoc within the MOBIUS and EXCS projects" Tallinna Tehnikaülikool, Küberneetika Instituut
  • 10.11.2008−31.01.2010 Mohamed El-Zawawy "postdoc within the MOBIUS and EXCS projects" Tallinna Tehnikaülikool, Küberneetika Instituut
  • 08.01.2009−07.01.2012 Silvio Capobianco "postdoc within the EXCS project" Tallinna Tehnikaülikool, Küberneetika Instituut
  • 30.01.2009−29.01.2012 James Chapman "postdoc within the EXCS project" Tallinna Tehnikaülikool, Küberneetika Instituut
  • 01.10.2011−31.12.2014 Wolfgang Jeltsch "postdoc within EXCS" Tallinna Tehnikaülikool, Küberneetika Instituut
  • 01.11.2019−... Dylan McDermott "postdoc within the Quantified effectful computation and interaction project" Reykjaviki Ülikool, arvutiteaduse osakond
  • 01.11.2019−... Niels Voorneveld "postdoc within the IT Academy research measure" Tallinna Tehnikaülikool, tarkvarateaduse instituut
  • 01.02.2020−31.05.2020 Ülo Reimaa "postdoc within the Quantified effectful computation and interaction project" Reykjaviki Ülikool

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2020
3.1.
2020
3.1.
2020
3.1.
2020
3.1.
2020
5.2.
2020
1.1.
2019
1.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
4.2.
2019
5.2.
2019
6.7.
2019
6.7.
2019
6.8.
2019
1.1.
2018
1.1.
2018
1.1.
2018
3.1.
2018
4.1.
2018
4.1.
2018
6.8.
2018
1.1.
2017
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
6.3.
2017
1.1.
2016
1.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
4.1.
2016
4.1.
2016
5.2.
2016
1.1.
2015
1.1.
2015
1.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
4.2.
2015
6.3.
2015
6.6.
2015
1.1.
2014
1.1.
2014
1.1.
2014
1.1.
2014
3.1.
2014
3.1.
2014
6.6.
2014
1.1.
2013
3.1.
2013
3.1.
2013
4.1.
2013
4.1.
2013
4.1.
2013
4.2.
2013
4.2.
2013
6.3.
2013
1.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.4.
2012
6.6.
2012
6.6.
2012
1.1.
2011
3.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.4.
2010
4.1.
2010
4.1.
2010
1.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
3.4.
2009
4.1.
2009
4.1.
2009
4.2.
2009
6.7.
2009
1.1.
2008
1.1.
2008
3.1.
2008
4.2.
2008
6.3.
2008
6.6.
2008
6.6.
2008
6.6.
2008
6.8.
2008
1.1.
2007
1.1.
2007
3.1.
2007
3.1.
2007
3.1.
2007
3.4.
2007
6.6.
2007
6.6.
2007
6.6.
2007
6.6.
2007
1.1.
2006
1.1.
2006
1.1.
2006
1.1.
2006
1.1.
2006
3.1.
2006
3.1.
2006
3.4.
2006
4.1.
2006
4.1.
2006
6.3.
2006
6.6.
2006
6.6.
2006
6.7.
2006
6.7.
2006
1.1.
2005
1.1.
2005
1.1.
2005
1.1.
2005
3.1.
2005
3.4.
2005
4.1.
2005
6.6.
2005
6.6.
2005
6.6.
2005
6.6.
2005
1.1.
2004
1.1.
2004
1.1.
2004
1.1.
2004
1.1.
2004
1.1.
2004
4.2.
2004
5.2.
2004
6.6.
2004
6.6.
2004
6.7.
2004
1.1.
2003
1.1.
2003
1.1.
2003
1.1.
2003
3.1.
2003
4.1.
2003
6.6.
2003
6.6.
2003
1.1.
2002
1.1.
2002
3.1.
2002
3.1.
2002
4.2.
2002
6.6.
2002
1.2.
2001
3.4.
2001
6.7.
2001
6.7.
2001
1.3.
2000
3.4.
2000
6.3.
2000
1.1.
1999
1.2.
1999
3.4.
1999
1.2.
1998
2.3.
1998
3.4.
1997
3.4.
1997
2.3.
1995
3.1.
1994
3.1.
1994
3.4.
1994
1.1.
1992
1.3.
1992
3.5.
1992
2.3.
1991
1.2.
1990
2.2.
1989
13.07.2020
19.01.1969
Scopus Author ID: 6602585906

Google Scholar Citations:
https://scholar.google.com/citations?user=BFHrFCUAAAAJ

Career

Institutions and positions
01.10.2017–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, lead research scientist (0,30)
01.10.2017–...   
Reykjavik University, School of Computer Science, Professor (0,70)
01.01.2017–30.09.2017   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, lead research scientist (0,80)
01.01.2017–30.09.2017   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Professor (0,20)
01.09.2009–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Professor (0,25)
01.06.2009–31.12.2016   
Tallinn University of Technology , Institute of Cybernetics at TUT, lead research scientist (1,00)
01.09.2004–31.08.2009   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Professor (0,50)
01.09.2002–31.08.2004   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Associate Professor (0,50)
18.04.2000–17.04.2002   
Universidade do Minho, Braga, Dep. de Informática, postdoctoral scholarship holder (1,00)
01.09.1999–31.05.2009   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (1,00)
15.02.1999–31.08.1999   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (0,25)
01.07.1998–31.08.1999   
Kungl. Tekniska Högskolan, Stockholm, Inst. för teleinformatik, acting associate professor (1,00)
10.09.1992–30.06.1998   
Kungl. Tekniska Högskolan, Stockholm, Inst. för teleinformatik, PhD student/research engineer (1,00)
01.01.1986–31.12.1992   
Institute of Cybernetics of Estonian Academy of Sciences, senior technician/engineer
 
 
Education
1992–1998   
Kungl Tekniska Högskolan, Stockholm, PhD studies in computer science
1987–1992   
Tallinn Polytechnical Institute/Tallinn Technical University, diploma/MSc studies in automated control/system engineering and computer science
 
 
R&D related managerial and administrative work
2020−...   
member of program committee, SETTA '20
2020−...   
member of program committee, BX '20 (postponed to 2021)
2020−...   
member of program committee
2019−...   
member of steering committee, ICTAC
2017−...   
member of steering committee, MPC
2013−...   
member of steering committee, DTP
2010−...   
steering committee member, ETAPS
2010−...   
member of Estonian Academy of Sciences
2010−...   
member of steering committee, MSFP
2010−...   
member, IFIP WG 1.2
2009−...   
member of steering committee, FICS
2006−...   
member of editorial board, J. of Univ. Comput. Sci.
2002−...   
initiator and one of the main organizers, Estonian computer science theory days
2019−2020   
member of program committee, FSCD '20
2019−2019   
member of program committee, SETTA '19
2019−2020   
member of program committee, MSFP '20
2019−2020   
member of program committee, MFPS XXXVI
2019−2020   
member of program committee, TYPES '20
2019−2020   
chair of program committee, NWPT '19
2018−2018   
member of program committee, TFP '18
2018−2019   
member of program committee, FM '19
2018−2019   
member of ERC, ICFP '19
2018−2019   
member of program committee, ICTAC '19
2018−2019   
member of program committee, MFCS '19
2018−2019   
member of program committee, TYPES '19
2018−2019   
member of program committee, MFPS XXXV
2018−2019   
member of program committee, LOLA '19
2018−2019   
member of program committee, PPDP '19
2017−2017   
member of program committee, TYPES '17
2017−2017   
member of program committee, MFCS '17
2017−2017   
member of program committee, SETTA '17
2017−2017   
member of program committee, TyDe '17
2017−2017   
member of program committee, RV-CuBES '17
2017−2018   
member of program committee, MFPS XXXIV
2017−2017   
chair of program and organizing committee, COST action EUTYPES summer school 2017
2016−2016   
member of program committee, SETTA '16
2016−2018   
chair of program committee, ICTAC '18
2015−2017   
member of ETAG expert panel for physical and engineering sciences
2014−2015   
member of program committee, MFCS '15
2014−2015   
member of program committee, MPC '15
2014−2015   
chair of program committee, TYPES '15
2013−2016   
member of steering committee, WGP
2013−2016   
research council member of IoC
2013−2015   
member of program committee, SETTA '15
2013−2014   
member of program committee, PPDP '13
2013−2014   
member of program committee, TFP '14
2013−2014   
member of program committee, LATIN '14
2013−2013   
chair of program committee, NWPT '13
2012−2013   
member of program committee, RTA '13
2012−2013   
member of prorgam committee, TYPES '13
2012−2013   
member of program committee, ICTAC '13
2012−2013   
organizer, NII Shonan seminar nr 026 "Coinduction for computation structures and programming languages"
2012−2013   
chair of program committee, ICFP '13
2012−2015   
member of steering committee, ICFP
2012−2012   
member of program committee, SVARM/VERIFY '12
2012−2013   
member of program committee, PEPM '13
2012−2013   
member of program committee, SOFSEM '13
2011−2012   
member of program committee, FoVeOOS '11
2011−2011   
member of program committee, PPDP '11
2011−2011   
member of program committee, FCT '11
2011−2011   
member of program committee, SPLST '11
2011−2011   
member of program committee, WGP '11
2011−2017   
member of steering committee, TYPES Meetings
2011−2012   
member of program committee, FICS '12
2011−2012   
ambassador of Estonian year of science
2010−2010   
member of program committee, FICS '10, MSFP '10
2010−2010   
member of program committee, FoVeOOS '10
2010−2012   
chair of organizing committee, ETAPS '12
2010−2013   
research council member of IoC
2009−2010   
member of program committee, CMCS '10
2009−2009   
member of program committee, FM '09-DC, NBE '09
2009−2009   
chair of program committee, FICS '09
2009−2010   
research council member of IoC
2009−2010   
member of program committee, MPC '10
2008−2008   
chair of program and organizing committees, NWPT '08
2008−2009   
chair of program and organizing committee, COST action FoVeOOS winter school 2009
2008−2008   
member of program committee, PEPM '09
2007−2007   
member of program committee, PPDP '07
2007−2008   
member of program committee, MPC '08
2007−2008   
member of program committee, MSFP '08
2007−2008   
organizer, EffTT 2007 and DTP 2008
2007−2008   
member of program committee, CMCS '08
2006−2011   
member of TKN expert group for exact sciences
2005−2006   
chair of program committee, MPC '06, MSFP '06
2005−2006   
member of TKN expert group for exact sciences
2005−2006   
chair of organizing committee, MPC/AMAST '06
2005−2006   
member of program committee, TFP '05
2005−2006   
member of program committee, CMCS '06
2005−2008   
project manager, ICT doctoral school project of Measure 1.1 of Estonian NDP
2004−2006   
chair of organizing committee, TFP/ICFP/GPCE '05
2004−2007   
research council member of IoC
2003−2004   
chair of organizing committee, APPSEM '04
2003−2004   
member of program/organizing committee, AFP '04
2003−2018   
member of program committee, NWPT '03-'07, '09-'12, '14-'18
2003−2020   
chair of program/organizing committee, EWSCS '04-'20
2002−2002   
member of ETF expert panel for engineering sciences
2001−2002   
member of organizing committee, NWPT '02
1998−2003   
member of program/organizing committee, EWSCS '99-'03

Qualifications

 
 
Honours & awards
2019, Tarmo Uustalu, Order of the White Star, 3rd class
2015, Tarmo Uustalu, state research award in physical sciences
2012, Tarmo Uustalu, nomination for best paper award at ETAPS '12 conference
2011, Tarmo Uustalu, TUT researcher of the year 2010
2010, Tarmo Uustalu, 2nd-3rd prize from TUT competition of best papers of 2008-2009 in physical sciences
2002, Tarmo Uustalu, Boris Tamm stipend
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: Structural proof theory and type theory, algebraic and categorical logic, semantics of programming languages, program logics, functional programming, transformation and construction of programs, computer science applications of modal logics
 
 
Additional information
2018-2023 software trustworthiness theme of HTM and ESF IT Academy research measure, theme leader // 2016-2023 ERDF Estonian CoE project Excellence in IT in Estonia, EXCITE, core group member // 2015-2020 HTM institutional research grant IUT33-13 Methods, tools and processes for software with strong guarantees // 2013-2015 ERDF measure of supporting ICT R&D project Coinduction for semantics, analysis and verification of communicating and concurrent reactive software, project leader // 2012-2016 ETF grant 9475 Mathematical structures in programming languages, grant holder // 2012-2014 HTM target financing theme 0140007s12 Dependable software and human language technologies, theme leader //2008-2015 ERDF Estonian CoE Centre of Excellence in Computer Science, EXCS, project leader // 2007-2010 ETF grant 6940 Program logics, type systems and trustworthy code generation, grant holder // 2006-2011 HTM target financing theme 0322709s06 Dependable software and human language technologies, theme leader // 2003-2006 ETF grant 5567 Nonclassical logics and programming theory, grant holder // 2002-2007 HTM Estonian CoE Centre for Dependable Computing, CDC, working group leader // 2001-2005 HTM target financing theme 0321769s01 Ontology oriented programming, investigator // 2000-2002 ETF grant 4155 Intermediate and modal logics in programming language theory and formal methods, grant holder //

2020-2024 COST action CA19135 Connecting education and research communities for an innovative resource aware society, CERCIRAS, Estonian delegate to the MC // 2019-2021 Icelandic Research Fund project grant Quantified computational effects and interaction, project leader // 2017-2018 ETAG/Campus France Estonian-French collaboration programme Parrot project Mathematical structures for dualities in programming languages, co-leader // 2016-2020 COST action CA15123 The European research network on types for programming and verification, EUTYPES, action vice-chair // 2014-2018 COST action IC1402 Runtime verification beyond monitoring, ARVI, Estonian delegate to the MC // 2013-2016 COST action IC1201 Behavioural types for reliable large-scale software systems, BETTY, Estonian delegate to the MC // 2011-2013 COST action IC0901 Rich model toolkit, Estonian delegate to the MC // 2011-2012 ETF/Egide Estonian-French collaboration programme Parrot project Formal semantics for synchronous languages with mixed data and control flow, coleader // 2010-2013 FP7 ICT integrated project HATS, site leader // 2008-2012 COST action IC0701 Formal verification of object-oriented software, Estonian delegate to the MC // 2005-2009 FP6 IST integrated project MOBIUS, site leader // 2004-2008 FP6 IST coordination action TYPES 4, site leader // 2003-2006 FP5 IST thematic network APPSEM II, site leader // 2003-2005 Royal Society joint project Programming with algebras, coalgebras, monads and comonads, coleader // 2003-2004 ETF/Egide Estonian-French collaboration programme Parrot project Types and proofs for software safety, coleader // 2002-2005 FP5 IST accompanying measures project eVikings II, R&D manager of the project

Completed projects

Supervised dissertations

Supervision of postdoctoral researchers

  • 01.09.2005−31.08.2006    Olha Shkaravska  "postdoc within the MOBIUS project" (Tallinn University of Technology, Institute of Cybernetics)
  • 01.10.2008−28.02.2011    Keiko Nakata  "postdoc within the MOBIUS and EXCS projects" (Tallinn University of Technology, Institute of Cybernetics)
  • 10.11.2008−31.01.2010    Mohamed El-Zawawy  "postdoc within the MOBIUS and EXCS projects" (Tallinn University of Technology, Institute of Technology)
  • 08.01.2009−07.01.2012    Silvio Capobianco  "postdoc within the EXCS project" (Tallinn University of Technology, Institute of Cybernetics)
  • 30.01.2009−29.01.2012    James Chapman  "postdoc within the EXCS project" (Tallinn University of Technology, Institute of Cybernetics)
  • 01.10.2011−31.12.2014    Wolfgang Jeltsch  "postdoc within EXCS" (Tallinn University of Technology, Institute of Cybernetics)
  • 01.11.2019−...    Dylan McDermott  "postdoc within the Quantified effectful computation and interaction project" (Reykjavik University, Dept. of Computer Science)
  • 01.11.2019−...    Niels Voorneveld  "postdoc within the IT Academy research measure" (Tallinn University of Technology, Dept. of Software Science)
  • 01.02.2020−31.05.2020    Ülo Reimaa  "postdoc within the Quantified effectful computation and interaction project" (Reykjavik University)

Publications

Category
Year
Publication
 
1.1.
2020
3.1.
2020
3.1.
2020
3.1.
2020
3.1.
2020
5.2.
2020
1.1.
2019
1.1.
2019
3.1.
2019
3.1.
2019
3.1.
2019
4.2.
2019
5.2.
2019
6.7.
2019
6.7.
2019
6.8.
2019
1.1.
2018
1.1.
2018
1.1.
2018
3.1.
2018
4.1.
2018
4.1.
2018
6.8.
2018
1.1.
2017
1.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
3.1.
2017
6.3.
2017
1.1.
2016
1.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
3.1.
2016
4.1.
2016
4.1.
2016
5.2.
2016
1.1.
2015
1.1.
2015
1.1.
2015
3.1.
2015
3.1.
2015
3.1.
2015
4.2.
2015
6.3.
2015
6.6.
2015
1.1.
2014
1.1.
2014
1.1.
2014
1.1.
2014
3.1.
2014
3.1.
2014
6.6.
2014
1.1.
2013
3.1.
2013
3.1.
2013
4.1.
2013
4.1.
2013
4.1.
2013
4.2.
2013
4.2.
2013
6.3.
2013
1.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.4.
2012
6.6.
2012
6.6.
2012
1.1.
2011
3.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2010
3.1.
2010
3.4.
2010
4.1.
2010
4.1.
2010
1.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
3.1.
2009
3.4.
2009
4.1.
2009
4.1.
2009
4.2.
2009
6.7.
2009
1.1.
2008
1.1.
2008
3.1.
2008
4.2.
2008
6.3.
2008
6.6.
2008
6.6.
2008
6.6.
2008
6.8.
2008
1.1.
2007
1.1.
2007
3.1.
2007
3.1.
2007
3.1.
2007
3.4.
2007
6.6.
2007
6.6.
2007
6.6.
2007
6.6.
2007
1.1.
2006
1.1.
2006
1.1.
2006
1.1.
2006
1.1.
2006
3.1.
2006
3.1.
2006
3.4.
2006
4.1.
2006
4.1.
2006
6.3.
2006
6.6.
2006
6.6.
2006
6.7.
2006
6.7.
2006
1.1.
2005
1.1.
2005
1.1.
2005
1.1.
2005
3.1.
2005
3.4.
2005
4.1.
2005
6.6.
2005
6.6.
2005
6.6.
2005
6.6.
2005
1.1.
2004
1.1.
2004
1.1.
2004
1.1.
2004
1.1.
2004
1.1.
2004
4.2.
2004
5.2.
2004
6.6.
2004
6.6.
2004
6.7.
2004
1.1.
2003
1.1.
2003
1.1.
2003
1.1.
2003
3.1.
2003
4.1.
2003
6.6.
2003
6.6.
2003
1.1.
2002
1.1.
2002
3.1.
2002
3.1.
2002
4.2.
2002
6.6.
2002
1.2.
2001
3.4.
2001
6.7.
2001
6.7.
2001
1.3.
2000
3.4.
2000
6.3.
2000
1.1.
1999
1.2.
1999
3.4.
1999
1.2.
1998
2.3.
1998
3.4.
1997
3.4.
1997
2.3.
1995
3.1.
1994
3.1.
1994
3.4.
1994
1.1.
1992
1.3.
1992
3.5.
1992
2.3.
1991
1.2.
1990
2.2.
1989
13.07.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 21 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
ETFETF7520Algebraline automaatide teooria01.01.200831.12.2011Hellis TammTallinna Tehnikaülikool, TTÜ Küberneetika Instituut43 111,63 EUR
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
MUUG5038 (ETF5038)Eesti Arvutiteaduse Talvekool 200201.01.200231.12.2002Jaan PenjamTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut3 834,70 EUR
MUUOE01eVikings II. Virtuaalse infoühiskonna tehnoloogiate tippkeskuse loomine Eestis01.11.200230.09.2005Jaan PenjamTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut1 322 392,02 EUR
MUUHATS (231620)Highly Adaptive and Trustworthy Software Using Formal Models - HATS01.05.201028.02.2013Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut216 746,00 EUR
MUUG4155 (ETF4155)Intermediaar- ja modaalloogikad programmikeelte teoorias ja formaalmeetodites01.01.200031.12.2002Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut30 549,77 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 642 075,15 EUR
MUUVFP15031ITEE: Digitaalne võrgustunud majandus01.06.201501.06.2016Gert JervanTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut112 250,00 EUR
ETFETF9475Matemaatilised struktuurid programmeerimiskeeltes01.01.201231.03.2016Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut33 984,00 EUR
ETFETF5567Mitteklassikalised loogikad ja programmeerimisteooria01.01.200331.12.2006Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut48 420,17 EUR
MUUMOBIUS (15905)Mobiilsus, ubikviteet ja turvalisus väikestele seadmetele - MOBIUS01.09.200531.08.2009Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut217 238,95 EUR
SFSF0321769s01Ontoloogiale orienteeritud programmeerimine01.01.200131.12.2005Jaan PenjamTallinna Tehnikaülikool, TTÜ Küberneetika Instituut492 119,70 EUR
ETFETF6940Programmiloogikad, tüübisüsteemid ja usaldusväärne koodigenereerimine01.01.200731.12.2010Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut61 030,00 EUR
MUUOE02 (IST-2001-38957)Rakendussemantika II - APPSEM II01.01.200330.06.2006Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut8 740,56 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
MUUTYPES (510996)Tüübid ja tõestused programmidele - TYPES01.09.200430.04.2008Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut20 569,52 EUR
SFSF0322709s06Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.200631.12.2011Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut968 170,23 EUR
SFSF0140007s12Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.201231.12.2014Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut514 620,00 EUR
APSF0140007s12AP13Väikesemahulise teaduse infrastruktuuri kaasajastamine teadusteema SF0140007s12 raames01.01.201331.12.2014Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut31 825,00 EUR
APSF0322709s06APVäikesemahulise teaduse infrastruktuuri kaasajastamine teadusteema SF0322709s06 raames01.01.201031.12.2011Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut53 247,99 EUR