Tarmo Uustalu

Tarmo Uustalu (sündinud 19. jaanuaril 1969 Tallinnas)  on eesti arvutiteadlane ja programmeerimiskeelte semantika professor , Eesti Teaduste Akadeemia liige (alates 2010).

Haridus

Lõpetas Tallinna 44. Keskkooli hõbemedaliga 1987; muusikateooria õpingud G. Otsa nim Tallinna Muusikakoolis (cum laude) 1984–1988;  vahetusüliõpilane Norra Tehnikaülikoolis Trondheimis 1991; Tallinna Tehnikaülikooli automaatikateaduskonna automatiseeritud juhtimissüsteemide eriala 1991 ; magistrantuur TTÜs süsteemitehnika ja informaatika erialal 1991–1992;  doktorantuur Rootsi Kuninglikus Tehnikaülikoolis arvutiteaduse erialal 1992–1998. Tehnikateaduste magister (Combination of object-oriented and logic paradigms, juh. Jan Komorowski, Reidar Conradi) Tallinna Tehnikaülikool, 1992; magistrikraad (Aspects of structural synthesis of programs (litsentsiaadikraad), juh. Enn Tõugu, Rootsi Kuninglik Tehnikaülikool. 1995;  doktorikraad arvutiteaduse alal (Natural deduction for intuitionistic least and greatest fixpoint logics, with an application to program construction, juh. Enn Tõugu), Rootsi Kuninglik Tehnikaülikool 1998. Vanemteadur 1999; dotsent 2002; professor 2004. ,

Töökäik

Eesti NSV/Eesti TA Küberneetika Instituudi vanemtehnik, insener 1986–1992; Rootsi Kuningliku Tehnikaülikooli doktorant ja uurimisinsener 1992–1998; dotsendi kt  1998–1999; järeldoktorant-stipendiaat Minho Ülikoolis (Braga, Portugal) 2000–2002; 
Reykjaviki Ülikooli arvutiteaduse teaduskonna professor (0,7 koormusega) 2017–…; TTÜs 1999–…:  TTÜ Küberneetika Instituudi tarkvara osakonna vanemteadur (0,25 koormusega) 1999, vanemteadur (1,0 koormusega) 1999–2009, peatatud 2000-2002; infotehnoloogia teaduskonna arvutiteaduse instituudi teoreetilise informaatika õppetooli dotsent 2002–2004, programmeerimiskeelte semantika professor 2004–2009; TTÜ Küberneetika Instituudi juhtivteadur 2009–2016; infotehnoloogia teaduskonna tarkvarateaduse instituudi professor, juhtivteadur (0,3 koormusega) 2017–…, 

Eesti Teaduste Akadeemia liikmeks valiti 2010. aastal arvutiteaduse alal, kuulub akadeemia informaatika ja tehnikateaduste osakonda.

Teadustöö

Loodusteadused ja tehnika. Arvutiteadused: struktuurne tõestusteooria ja tüübiteooria, algebraline ja kategoorne loogika, programmikeelte semantika, programmiloogikad, funktsionaalprogrammeerimine, programmide transformeerimise ja konstrueerimise meetodid, modaalloogikate arvutiteaduslikud rakendused. Avaldanud üle 240 teaduspublikatsiooni. Tema juhendamisel on kaitstud 8 magistri- ja 4 doktoritööd, juhendanud 9 järeldoktorit.

Erialaühendused

Osalenud paljude rahvusvaheliste konverentside programmi- või juhttoimkondade töös alates 1998; Eesti Arvutiteaduse Talvekoolide (EWSCS) peakorraldajaid alates 1999;  ETFi tehnikateaduste ekspertpaneeli liige 2002; Eesti arvutiteaduse teooriapäevade initsiaator ja peakorraldajaid 2002–…; Euroopa Liidu 5. ja 6. raamprogrammi programmide saidijuht 2002–2009; Eesti teaduse tippkeskuse “Töökindlate Arvutisüsteemide Uurimise Keskus” (Center for Dependable Computing) nõukogu liige 2002–2007; TTÜ Küberneetika Instituudi teadusnõukogu liige 2004–2007, 2009–2016; RAKi meetme 1.1 IKT doktorikooli projekti juht 2005–2008; TKNi reaalteaduste ekspertgrupi liige 2005–2006; Eesti teadusaasta saadik 2011–2012; ETAGi loodus- ja tehnikateaduste ekspertkomisjoni liige 2015–2017; toimetuskolleegiumi liige, J. of Univ. Comput. Sci. 2006–...; erialaühenduste European Association for Theoretical Computer Science (EATCS), European Association for Computer Science Logic (EACSL), Interest Group in Pure and Applied Logic (IGPL), European Association for Logic, Language and Information (FoLLI), European Association for Programming Languages and Systems (EAPLS), Association for Computing Machinery (ACM) liige. ,

Tunnustus

2002 – Akadeemik Boris Tamme nim. stipendium 
2010 – 2.-3. koht 2008–2009 parima publikatsiooni konkursil loodus- ja täppisteaduste valdkonnas
2010 – Tallinna Tehnikaülikooli aasta teadlane
2010 – Eesti Teaduste Akadeemia liige arvutiteaduse alal
2015 – Eesti Vabariigi teaduspeemia täppisteadustes
2019 – Valgetähe III klassi teenetemärk 2019., ,

Harrastused

Analüütiline filosoofia, teadus ja religioon, klassikaline muusika, orienteerumine.

Viited

Kirjandus 
 Margus Maidla. Akadeemik Tarmo Uustalu – arvutikeelte polüglott. – Teaduste Akadeemia – Eesti kollektiivne aju. Tallinn, 2014, lk585-594

Välislingid 

Tarmo Uustalu Eesti Teaduste Akadeemia kodulehel

Eesti tehnikateadlased
Eesti informaatikud
Tallinna Tehnikaülikooli professorid
Tallinna Tehnikaülikooli vilistlased
Valgetähe III klassi teenetemärgi kavalerid
Sündinud 1969