See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
16.05.1965
tanel.tammet@ttu.ee

Teenistuskäik

Töökohad ja ametid
01.01.2017–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Professor (1,00)
2011–2012   
Eesti Energia AS, Tarkvara peaarhitekt (0,25)
2009–2015   
ELIKO Tehnoloogia Arenduskeskus OÜ, Projekti 2.1 juht (0,30)
01.09.2004–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool, õppetooli juhataja (1,00)
01.09.2004–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool, Professor (1,00)
2001–31.08.2004   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Professor (1,00)
1999–2000   
Tallinna Tehnikaülikool, Erakorraline professor (1,00)
1994–2008   
Chalmers University of Technology, Dotsent (1,00)
1992–1993   
Chalmers University of Technology, Teadur (1,00)
1988–1992   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Teadur (1,00)
 
 
Haridustee
1989–1992   
Göteborgi ülikool: Ph.D. arvutiteaduses
1983–1988   
Tartu ülikool: rakendusmatemaatika 5. a diplom
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2013−...   
AS Guardtime nõukogu liige
2005−2009   
Kaitseministeeriumi teadusnõukogu liige
2005−2009   
NATO RTO IST paneelis eesti esindaja

Kvalifikatsioon

 
 
Teadustöö põhisuunad
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; PÕHISUUND: Automaatne teoreemitõestamine ja loogikapõhised meetodid võrgusüsteemides

Lõppenud projektid

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2018
3.1.
2018
6.6.
2018
6.6.
2017
3.1.
2016
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
1.1.
2013
3.1.
2013
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2009
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2007
3.1.
2007
1.1.
2006
3.1.
2006
3.4.
2006
3.4.
2006
1.1.
2004
1.1.
2003
3.2.
2003
3.4.
2003
6.2.
2002
3.1.
2001
1.1.
1998
3.1.
1998
1.1.
1997
3.1.
1997
6.2.
1997
6.4.
1997
3.1.
1996
3.1.
1996
3.1.
1996
1.1.
1995
3.1.
1995
3.1.
1995
1.1.
1994
2.1.
1993
1.1.
1991
1.1.
1991
1.1.
1990
16.05.1965
tanel.tammet@ttu.ee

Career

Institution and occupation
01.01.2017–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Professor (1,00)
2011–2012   
Eesti Energia AS, Chief software architect (0,25)
2009–2015   
ELIKO Competence Centre in Electronics-, Info- and Communication Technologies, Project 2.1 leader (0,30)
01.09.2004–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of Network Software, Other staff (1,00)
01.09.2004–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Chair of Network Software, Professor (1,00)
2001–31.08.2004   
Tallinn University of Technology , School of Information Technologies, Department of Computer Science, Professor (1,00)
1999–2000   
Tallinn University of Technology , Professor extraordinarius (1,00)
1994–2008   
Chalmers University of Technology, Associate Professor (1,00)
1992–1993   
Chalmers University of Technology, Researcher (1,00)
1988–1992   
Tallinn University of Technology , Institute of Cybernetics at TUT, Researcher (1,00)
 
 
Education
1989–1992   
Uni of Göteborg: Ph.D. in computer science
1983–1988   
Uni of Tartu: diploma (5 y) in applied mathematics
 
 
R&D related managerial and administrative work
2013−...   
Board member of the AS Guardtime
2005−2009   
Member of the scientific council of the Estonian Ministry of Defence
2005−2009   
NATO RTO IST panel estonian representative

Qualifications

 
 
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences
 
 

Completed projects

Supervised dissertations

Publications

Category
Year
Publication
 
3.1.
2018
3.1.
2018
6.6.
2018
6.6.
2017
3.1.
2016
3.1.
2014
3.1.
2014
3.1.
2014
3.1.
2014
1.1.
2013
3.1.
2013
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2012
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2009
3.1.
2008
3.1.
2008
3.1.
2008
3.1.
2007
3.1.
2007
1.1.
2006
3.1.
2006
3.4.
2006
3.4.
2006
1.1.
2004
1.1.
2003
3.2.
2003
3.4.
2003
6.2.
2002
3.1.
2001
1.1.
1998
3.1.
1998
1.1.
1997
3.1.
1997
6.2.
1997
6.4.
1997
3.1.
1996
3.1.
1996
3.1.
1996
1.1.
1995
3.1.
1995
3.1.
1995
1.1.
1994
2.1.
1993
1.1.
1991
1.1.
1991
1.1.
1990
  • Leitud 15 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
MUUVEU5382CENTRE Estonia - Eesti Cybercrime Centre of Excellence for Training, Research&Education01.01.201231.12.2014Indrek JakobsonTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut632 580,00 EUR
MUU265LEesti riikliku arengukava 2003-2006 EL struktuurifondide kasutuselevõtuks - ühtse programmdokumendi eelhindamine04.10.200231.03.2003Vello VenselTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Majandusteaduskond, Rahanduse ja majandusteooria instituut, Majandusmatemaatika, statistika ja ökonomeetria õppetool, Statistika ja ökonomeetria õppetool18 429,37 EUR
MUUBF99Formaalsed meetodid hajussüsteemides.01.01.200931.12.2011Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool40 176,14 EUR
MUUG4156 (ETF4156)Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks01.01.200031.12.2003Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut20 004,35 EUR
MUULEP15044ID1 formaadis isikut tõendavate dokumentide plankide, isikustamis- ja sertifitseerimisteenuste ostmine29.04.201528.04.2016Tanel TammetTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool9 990,00 EUR
MUUV341Interakteeruvate robotparvede teadmuskeskkond01.11.200630.04.2009Jüri VainTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool2 100 000,00 EUR
MUUELIKO 2.1Kontekstipõhine informatsioon ja semantilised kasutajaprofiilid01.07.200930.06.2015Tanel TammetELIKO Tehnoloogia Arenduskeskus OÜ2 116 531,00 EUR
MUUAR8134Küberkaitse magistriõppe rahvusvaheline kava10.10.200831.12.2011Tanel TammetTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool255 646,59 EUR
ETFETF5775Lõpmatu olekuruumiga süsteemide abstraktsiooni-põhine verifitseerimine ja analüüs01.01.200431.12.2007Jüri VainTallinna Tehnikaülikool, TTÜ Küberneetika Instituut28 836,18 EUR
ETFETF5567Mitteklassikalised loogikad ja programmeerimisteooria01.01.200331.12.2006Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut48 420,17 EUR
MUUVY643Montenegro küberturbe alase haridussüsteemi arendamine - ECESM14.02.201413.02.2017Marko KäärameesTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool57 720,00 EUR
ETFETF7667Mudeli-põhine plaanurite süntees mittedeterministlikele ja hajussüsteemidele01.01.200831.12.2011Jüri VainTallinna Tehnikaülikool, TTÜ Küberneetika Instituut56 550,81 EUR
MUUOL05Reeglipõhised andmebaasid veebiteenuste loomiseks15.03.200415.09.2005Hele-Mai HaavTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut72 853,14 EUR
MUULep7116RFID-identifikaatorite kasutusvõimaluste analüüs ning soovitused Eesti ID-kaardi täiendamise kontekstis28.11.200712.12.2007Tanel TammetTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Võrgutarkvara õppetool2 684,29 EUR
IUTIUT33-13Tugevate garantiidega tarkvara meetodid, tööriistad ja protsessid01.01.201531.12.2020Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut720 000,00 EUR