Tanel Tammet

Born in 1965, Tammet had early access to the University of Tartu's computers through his father's work at the physics department.{{cite web|title=Person's information: Hannes Tammet|url=https://www.etis.ee/portaal/isikuCV.aspx?LastNameFirstLetter=T&PersonVID=602&FromUrl0=isikud.aspx&lang=en|publisher=Estonian Research Portal|access-date=16 May 2012}} As a result, he eventually graduated from the university's maths department in applied mathematics, specializing in information technology. He took interest in automated theorem proving and graduated from the Gothenburg Chalmers University of Technology with a Ph.D. in 1992.{{cite web|title=Person's information: Tanel Tammet|url=https://www.etis.ee/portal/portaal/isikuCV.aspx?TextBoxName=tanel%20tammet&PersonVID=44953&lang=en&FromUrl0=isikud.aspx|publisher=Estonian Research Portal|access-date=16 May 2012}} He lived in Sweden for the most part of that decade, then returned to Tallinn.

Tammet received international renown for his automated theorem proving program Gandalf, which won different categories of the Conference on Automated Deduction (CADE) CASC competition six times between 1997 and 2003.{{cite web|title=The CADE ATP System Competition|url=http://www.cs.miami.edu/~tptp/CASC/|work=CADE|publisher=University of Miami|access-date=16 May 2012}} He has been the Estonian delegate to the Information Systems Technology Panel of the NATO Research and Technology Organisation, and written about cyber security.{{cite news|last=Tammet|first=Tanel|date=9 October 2011|title=Küberkaitsjad korraga kahes ülikoolis (Cyber security in two universities at the same time)|url=http://www.am.ee/node/2364|access-date=16 May 2012|work=Arvutimaailm}}{{cite news|last=Tammet|first=Tanel|date=30 November 2005|title=Külm kübersõda (Cold cyberwar)|url=http://www.epl.ee/news/eesti/tanel-tammet-kulm-kubersoda.d?id=51024946|access-date=16 May 2012|work=Eesti Päevaleht}} He often teaches or speaks{{cite web|title=Internet ja tehismõistuse tekkimine|url=http://video.google.com/videoplay?docid=4699734741762494758|work=Tallinn University of Technology|publisher=Google Video|access-date=16 May 2012}} about artificial intelligence, and has asserted that it already exists, albeit in a primitive and distributed form.{{cite news|last=Aasaru|first=Heikki|date=23 April 2012|title=Tanel Tammet: tehisintellekt on juba olemas (Tanel Tammet: Artificial intelligence already exists)|url=http://uudised.err.ee/index.php?06251153|access-date=16 May 2012|work=ERR}}

From 2006, Tammet was a founding member and member of the board of the Estonian Greens. The party was elected into the Riigikogu the following year with 7.1% of the nationwide vote, which granted them six seats. In 2010, amid growing tensions following their failed runs in the European Parliament and local elections in 2009, Tammet along with 19 other members was thrown out of the party.{{cite news|last=Silm|first=Sander|date=18 May 2010|title=Roheliste sisesõda: eelmise juhatuse liikmed visati erakonnast välja (Internal war of the Greens: The members of the former board were kicked out of the party)|url=https://www.ohtuleht.ee/379272/roheliste-sisesoda-eelmise-juhatuse-liikmed-visati-erakonnast-valja|work=Õhtuleht|access-date=16 May 2012}} It subsequently failed to reach the minimum 5% of the vote needed in the 2011 parliamentary elections and faded.{{cite web|title=Erakond Eestimaa Rohelised (Estonian Greens)|url=http://www.erakonnad.info/erakond/reg/eer.html|work=Eesti Erakondade Ajalugu (History of Estonian political parties)|publisher=erakonnad.info}}

Tammet is a professor at the Tallinn University of Technology and is the faculty manager of its computer science institute.{{cite web|title=Kontaktid (contacts)|url=http://www.ttu.ee/kontaktid/tootaja-otsing/?id=30052&yksus=Akadeemiline%20struktuur:Infotehnoloogia%20teaduskond:Arvutiteaduse%20instituut:V%C3%B5rgutarkvara%20%C3%B5ppetool|work=Tallinn University of Technology|access-date=16 May 2012}} Formerly he had helped found the Tallinn IT College and was on its board of advisors from its inception in 2003.{{cite web|title=Nõunike kogu (Board of advisors)|url=http://www.itcollege.ee/it-kolledz/asutajad-ja-juhtimine/nounike-kogu/|work=IT College|access-date=16 May 2012}} Tammet has also worked in the Institute of Cybernetics in Tallinn.{{cite web|title=Tanel Tammet peab loodushoidu vabaduseks (Tanel Tammet equates environmentalism with freedom)|url=http://www.gryyne.ee/index.php?option=com_content&view=article&id=80:tanel-tammet-peab-loodushoidu-vabaduseks&catid=34:persoon&Itemid=54|work=Persoonid (people)|publisher=Grüüne|access-date=16 May 2012|url-status=dead|archiveurl=https://web.archive.org/web/20160305024821/http://www.gryyne.ee/index.php?option=com_content&view=article&id=80:tanel-tammet-peab-loodushoidu-vabaduseks&catid=34:persoon&Itemid=54|archivedate=5 March 2016}} In 2012, he received attention{{cite news|last=Zhang|first=Michael|date=23 January 2012|title=Sightseeing Heatmap of Popular Photo Spots Around the World|url=http://www.petapixel.com/2012/01/23/sightseeing-heatmap-of-popular-photo-spots-around-the-world/|work=PetaPixel|access-date=16 May 2012}}{{cite news|last=Newman|first=Leight|date=25 January 2012|title=A Flash of Happiness|url=http://www.oprah.com/blogs/A-Flash-of-Happiness|work=Life Lif|access-date=16 May 2012}} for the creation of Sightsmap, a website which visualizes the popularity of places around the world based on data from Panoramio, Wikipedia, and Foursquare City Guide.

Tammet has two children. In 2002, he was issued the fifth class of the Order of the White Star.{{cite web|title=Bearers of Decorations|url=http://www.president.ee/en/estonia/decorations/bearers.php?id=4053|work=Estonian State Decorations|publisher=Office of the President of Estonia|access-date=16 May 2012}}

• Tammet, Tanel; Teejuht võrgumaailma, Tartu : Ilmamaa, 1997. {{ISBN|9985821874}}
• Tamme, Tõnu; Tammet, Tanel; Prank, Rein; [http://dspace.utlib.ee/dspace/bitstream/handle/10062/24397/9985562313.pdf?sequence=2 Loogika: Mõtlemisest tõestamiseni], Tartu : Tartu Ülikooli Kirjastus, 1997. {{ISBN|9985562313}}

{{Reflist}}

• [https://sites.google.com/site/taneltammet/ Personal page on Google Sites]
• [http://www.sightsmap.com/ Sightsmap]

{{Authority control}}

{{DEFAULTSORT:Tammet, Tanel}}

Category:1965 births

Category:Living people

Category:Estonian computer scientists

Category:Estonian Greens politicians

Category:University of Tartu alumni

Category:Scientists from Tallinn

Category:21st-century Estonian politicians

Category:Recipients of the Order of the White Star, 5th Class