**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 laud*e) 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
------

1. 1 2 3 4 5 6 7  Tallinna Tehnikaülikooli professorid läbi aegade. Tallinn: Tallinna Tehnikaülikool, 2008, lk. 471-472
2. 1 2 3 4 5  Tarmo Uustalu Eesti Teadusinfosüsteemis
3. ↑  Teenetemärkide kavaleride andmekogu – 19799

Kirjandus
---------

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

Välislingid
-----------

* Tarmo Uustalu Eesti Teadusinfosüsteemis
* Tarmo Uustalu Eesti Teaduste Akadeemia kodulehel