Uustalu, Tarmo 1969

Researcher ID
Allasutuse kood
it
ny
TalTechis
Teenistuskäik TalTechis
tarkvarateaduse instituut, professor 01.01.-30.09.2017
arvutiteaduse instituut, professor 01.09.2004-31.12.2016
arvutiteaduse instituut, teoreetilise informaatika õppetool, juhataja 2013-2016?
TTÜ Küberneetika Instituut, juhtivteadur 01.06.2009–31.12.2016
TTÜ Küberneetika Instituut, tarkvara osakond, vanemteadur 15.02.1999-31.05.2009
Info- ja kommunikatsioonitehnoloogia doktorikool, projektijuht 2006?
TTÜ Küberneetika Instituut, tarkvarateaduse labor, juhataja 2014-...
arvutiteaduse instituut, dotsent 2002-2004
Teenistuskäik mujal
Reykjaviki Ülikool, arvutiteaduse teaduskond, professor 01.10.2017-
Universidad do Minho, Braga, Dep. de Informatica, järeldoktorant-stipendiaat 01.01.2000–31.12.2002
Kungliga Tekniska Högskolan, Stockholm, Institut för teleinformatik, dotsendi kt. 01.01.1998–31.12.1999
Kungliga Tekniska Högskolan, Stockholm, Institut för teleinformatik, doktorant/uurimisinsener 01.01.1992–31.12.1998
Eesti TA Küberneetika Instituut, vanemtehnik/insener 01.01.1986–31.12.1992
Teaduskraad
Ph.D. 1998 (Rootsi Kuninglik Tehnikaülikool)
Teadusorganisatoorne ja administratiivne tegevus
TYPES '15, programmitoimkonna esimees 2014-
WGP, juhttoimkonna liige 2013-
DTP, juhttoimkonna liige 2013-
Küberneetika Instituudi teadusnõukogu liige 2004-2007, 2009-
NWPT '13, programmitoimkonna esimees 2013-
TYPES Meetings, juhttoimkonna liige 2011-
ETAPS, juhttoimkonna liige 2010-
Eesti Teaduste Akadeemia akadeemik 2010-
MSFP, juhttoimkonna liige 2010-
IFIP WG 1.2, liige 2010-
FICS, juhttoimkonna liige 2009-
J. of Univ. Comput. Sci., toimetuskolleegiumi liige 2006-
NWPT '03-'07, '09-'12, '14-'15, programmitoimkonna liige 2003-
EWSCS '04-'15, programmi- ja korraldustoimkonna esimees 2003-
Eesti arvutiteaduse teooriapäevad, initsiaator ja peakorraldajaid, 2002-
MFCS '15, programmitoimkonna liige 2014-2015
MPC '15, programmitoimkonna liige 2014-2015
SETTA '15, programmitoimkonna liige 2013-2015
PPDP '13, programmitoimkonna liige 2013-2014
TFP '14, programmitoimkonna liige 2013-2014
LATIN '14, programmitoimkonna liige 2013-2014
RTA '13, programmitoimkonna liige 2012-2013
TYPES '13, programmitoimkonna liige 2012-2013
ICTAC '13, programmitoimkonna liige 2012-2013
NII Shonan seminar nr 026 "Coinduction for computation structures and programming languages", korraldaja, 2012-2013
ICFP '13, programmitoimkonna esimees 2012-2015
ICFP, juhttoimkonna liige 2012-2015
SVARM/VERIFY '12, programmitoimkonna liige 2012
PEPM '13, programmitoimkonna liige 2012-2013
SOFSEM '13, programmitoimkonna liige 2012-2013
FoVeOOS '11, programmitoimkonna liige 2011-2012
PPDP '11, programmitoimkonna liige 2011
FCT '11, programmitoimkonna liige 2011
SPLST '11, programmitoimkonna liige 2011
WGP '11, programmitoimkonna liige 2011
FICS '12, programmitoimkonna liige, 2011-2012
Eesti teadusaasta saadik 2011-2012
FICS '10, MSFP '10, programmitoimkonna liige 2010
FoVeOOS '10, programmitoimkonna liige 2010
ETAPS '12, korraldustoimkonna esimees 2010-2012
CMCS '10, programmitoimkonna liige 2009-2010
FM '09-DC, NBE '09, programmitoimkonna liige 2009
FICS '09, programmitoimkonna esimees 2009
MPC '10, programmitoimkonna liige 2009-2010
NWPT '08, programmi- ja korraldustoimkonna esimees 2008
COST IC0701 Training School 2009, programmi- ja korraldustoimkonna esimees 2008-2009
PEPM '09, programmitoimkonna liige 2008
PPDP '07, programmitoimkonna liige 2007
MPC '08, programmitoimkonna liige, 2007-2008
MSFP '08, programmitoimkonna liige 2007-2008
EffTT 2007 ja DTP 2008, korraldaja 2007-2008
CMCS '08, programmitoimkonna liige 2007-2008
TKNi reaalteaduste ekspertgrupi liige 2006-2011
MPC '06, MSFP '06, programmitoimkonna esimees 2005-2006
TKNi reaalteaduste ekspertgrupi liige 2005-2006
MPC/AMAST '06, korraldustoimkonna esimees 2005-2006
CMCS '06, programmitoimkonna liige 2005-2006
RAKi meetme 1.1 IKT doktorikooli projekti juht 2005-2008
TFP/ICFP/GPCE '05, IFIP WG 2.8 meeting #22, korraldustoimkonna esimees 2004-2006
APPSEM'04, korraldustoimkonna esimees 2003-2004
AFP '04, programmi- ja korraldustoimkonna liige 2003-2004
ETFi tehnikateaduste ekspertpaneeli liige 2002
NWPT '02, korraldustoimkonna liige, 2001-2002
EWSCS'99-'03, programmi- ja korraldustoimkonna liige, 1998-2003
Eesti teaduse tippkeskuse "Töökindlate arvutisüsteemide uurimine" uurimisrühma "Arvutiteaduse matemaatilised alused ja programmeerimiskeelte tehnika" juh 2004-
Eesti Infotehnoloogia Selts, liige 2005-
Tunnustused
Valgetähe orden, III klass, 2019
Riigi teaduspeemia täppisteadustes 2015
Parima artikli auhinna nominatsioon konverentsil ETAPS '12, 2012
Eesti Teaduste Akadeemia akadeemik 2010
TTÜ aasta teadlane 2010
2.-3. koht TTÜ 2008-2009 parima publikatsiooni konkursil loodus- ja täppisteaduste valdkonnas, 2010
Boris Tamme nimeline stipendium 2002
Sünniaeg
Sünnikoht
PUBL kirjed