한국   대만   중국   일본 
Tanel Tammet ? Vikipeedia Mine sisu juurde

Tanel Tammet

Allikas: Vikipeedia

Tanel Tammet (sundinud 16. mail 1965 ) on eesti arvutiteadlane ja poliitik.

Haridus [ muuda | muuda lahteteksti ]

Ta on lopetanud Tallinna 44. Keskkooli 1983. ja Tartu Riikliku Ulikooli rakendusmatemaatika erialal 1988. aastal. Eesti TA Kuberneetika Instituudi aspirant 1989?1991 (juhendaja Grigori Mints ), jatkas aspirantuuriopinguid Goteborgi Ulikooli ja Chalmersi Tehnikaulikooli uhises informaatikateaduskonnas 1991?1992; jareldoktor Goteborgi Ulikoolis / Chalmersi Tehnikaulikoolis 1992?1993. Filosoofiadoktor arvutiteaduse erialal (PhD) 1992 (Goteborgi Ulikool, Rootsi); dotsent arvutiteaduse erialal (Goteborgi Ulikool) 1997.

Tookaik [ muuda | muuda lahteteksti ]

Tartu Riikliku Ulikooli tehisintellektika labori insener; Eesti TA Kuberneetika Instituudi tarkvara sektori teadur 1987?1992; Goteborgi Ulikooli / Chalmersi Tehnikaulikooli informaatikatikateaduskonna teadur 1994?1995, vanemlektor ja dotsent 1995?1998. Tallinna Tehnikaulikoolis 1995?...: automaatika ja susteemitehnika instituudi dotsent (osalise koormusega) 1995?1999; arvutuskeskuse erakorraline professor 1999, arvutuskeskuse ja vorgutarkvara oppetooli juhataja ning professor 1999?2001; arvutiteaduse instituudi direktor 2001 ning vorgutarkvara oppetooli professor ja juhataja 2001?2016; tarkvarateaduse instituudi professor (1,00) 2017?...

Paralleelselt akadeemilise tooga Eesti Paevalehe internetiteemalise valjaande peatoimetaja 1996?1997; mitme vorgutarkvara tootva ettevotte tegevjuht ja noukogu liige. ELIKO Tehnoloogia Arenduskeskus OU, Projekti 2.1 juht 2009?2015; Eesti Energia AS , Tarkvara peaarhitekt (0,25) 2011?2012; Cybernetica AS , Kuberturvalisuse lahenduste arhitekt 2018?...

Teadustoo pohisuunad [ muuda | muuda lahteteksti ]

Matemaatiline loogika ja informaatika, sh automaatne teoreemitoestamine ja selle rakendused. Teoreemitoestaja “Gandalf” valjatootamine ja realiseerimine, tunnustatud kui maailma voimsamaid automaat-teoreemitoestajaid (rahvusvahelise teoreemitoestajate voistluse kuuekordne voitja). On juhtivaid loogilise tehisintellekti rakenduste spetsialiste; tegelenud ebapuhaste funktsionaalsete keelte kompileerimise probleemidega, teinud koostood Massachusettsi Tehnoloogiainstituudi (USA), Kuberneetika Instituudi, Stanfordi Ulikooli (USA), Peterburi ja Viini teadlastega. Koos professorite Jaan Penjami , Enn Tougu jt tootas valja informaatikaopetuse arengukontseptsiooni (1991). Loogikaopiku “Loogika. Motlemisest toestamiseni” (1997) kaasautor. Avaldanud ule 50 eeskatt arvutite, interneti ja uhiskonna seoseid analuusivat artiklit Eesti ajakirjanduses.

Teaduskorralduslik tegevus [ muuda | muuda lahteteksti ]

Osalenud rahvusvaheliste konverentside organiseerimisel; kuulub erinevate valjaannete toimetuskolleegiumidesse. Eesti Kaitseministeeriumi teadusnoukogu liige (2006?...), NATO RTO infotehnoloogiapaneeli Eesti esindaja. “ Tiigrihuppe ” programmi uks asutajaid, Hariduse Arvutiseerimise Rahvusliku Peakomitee (HARP) liige. Eesti Infotehnoloogia Kolled?i algatusgrupi liige, juhtis IT-Kolled?i oppekavade valjatootamist. Eesti tehisintellekti kasutuselevotu eksperdiruhma liige: organiseerijad riigikantselei ja MKM 2018?2019; AS GuardTime noukogu liige 2013?...; IT Akadeemia teadusmeetme rakendamise koordineerija Tallinna Tehnikaulikooli poolt 2018?...; Tallinna Tehnikaulikooli usaldusvaarsete IT lahenduste prioriteetsuuna koordineerimiskomitee liige 2019?...; ETAgi teadusprojektide hindamise ekspertkomisjoni liige 2019?...; Riigi elektroonilise valimissusteemi ja elektroonilise haaletamise tooruhma liige 2019?...

Uhiskondlik tegevus [ muuda | muuda lahteteksti ]

Tammet on olnud uks Erakonna Eestimaa Rohelised liidreid. 2007. aasta Riigikogu valimistel sai ta EER nimekirjas 1416 haalt, kuid valituks ei osutunud.

2017. aasta kohaliku omavalitsuse volikogude valimistel kandideeris ta Tallinna linnavolikokku Sotsiaaldemokraatliku Erakonna nimekirjas [1] ning sai 77 haalt.

Tunnustus [ muuda | muuda lahteteksti ]

Viited [ muuda | muuda lahteteksti ]

Kirjandus [ muuda | muuda lahteteksti ]

  • EE 2000, 14.

Valislingid [ muuda | muuda lahteteksti ]