Tanel Tammet
(sundinud
16. mail
1965
) on eesti arvutiteadlane ja poliitik.
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.
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?...
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.
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?...
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.