Tarmo Uustalu

Allikas: Vikipeedia
Mine navigeerimisribale Mine otsikasti

Tarmo Uustalu (sündinud 19. jaanuaril 1969 Tallinnas) on eesti arvutiteadlane ja programmeerimiskeelte semantika professor. [1]

Haridus[muuda | muuda lähteteksti]

Lõpetas Tallinna 44. Keskkooli hõbemedaliga 1987; muusikateooria õpingud G. Otsa nim Tallinna Muusikakoolis (cum laude) 19841988; vahetusüliõpilane Norra Tehnikaülikoolis Trondheimis 1991; TTÜ automaatikateaduskonna automatiseeritud juhtimissüsteemide eriala 1991 ; magistrantuur TTÜs süsteemitehnika ja informaatika erialal 19911992; doktorantuur Rootsi Kuninglikus Tehnikaülikoolis arvutiteaduse erialal 19921998.[1]

Teaduskraad ja kutse[muuda | muuda lähteteksti]

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. [1], [2]

Teenistus[muuda | muuda lähteteksti]

Eesti NSV/Eesti TA Küberneetika Instituudi vanemtehnik, insener 19861992; Rootsi Kuningliku Tehnikaülikooli doktorant ja uurimisinsener 19921998; dotsendi kt 19981999; järeldoktorant-stipendiaat Minho Ülikoolis (Braga, Portugal) 20002002; 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) 19992009, peatatud 2000-2002; infotehnoloogia teaduskonna arvutiteaduse instituudi teoreetilise informaatika õppetooli dotsent 20022004, programmeerimiskeelte semantika professor 20042009; TTÜ Küberneetika Instituudi juhtivteadur 20092016; infotehnoloogia teaduskonna tarkvarateaduse instituudi professor, juhtivteadur (0,3 koormusega) 2017–…[1], [2]

Teadustöö põhisuunad[muuda | muuda lähteteksti]

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.[2]

Teadusorganisatoorne ja -administratiivne tegevus[muuda | muuda lähteteksti]

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 20022009; Eesti teaduse tippkeskuse “Töökindlate Arvutisüsteemide Uurimise Keskus” (Center for Dependable Computing) nõukogu liige 20022007; TTÜ Küberneetika Instituudi teadusnõukogu liige 20042007, 20092016; RAKi meetme 1.1 IKT doktorikooli projekti juht 20052008; TKNi reaalteaduste ekspertgrupi liige 20052006; Eesti teadusaasta saadik 20112012; ETAGi loodus- ja tehnikateaduste ekspertkomisjoni liige 20152017; 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. [1], [2]

Tunnustus[muuda | muuda lähteteksti]

  • Akadeemik Boris Tamme nim. stipendium 2002
  • Eesti TA akadeemik 2010
  • 2.-3. koht 2008-2009 parima publikatsiooni konkursil loodus- ja täppisteaduste valdkonnas 2010
  • TTÜ aasta teadlane 2010
  • parima artikli auhinna nominatsioon konverentsil ETAPS '12 2012
  • riigi teaduspeemia täppisteadustes 2015
  • Valgetähe III klassi teenetemärk 2019.[1], [2], [3]

Harrastused ja huvialad[muuda | muuda lähteteksti]

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

Viited[muuda | muuda lähteteksti]

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

Välislingid[muuda | muuda lähteteksti]