Tanel Tammet

Last updated
Tanel Tammet
Tanel Tammet, 12. jaanuar 2008.JPG
Tanel Tammet in 2008.
Born (1965-05-16) May 16, 1965 (age 58)
Tallinn, Estonia
Education University of Tartu
Chalmers University of Technology (Ph.D., 1992)
Known for Automated theorem proving Gandalf
Estonian Greens founder
Children2
Awards Order of the White Star
Scientific career
Fields Computer science
Institutions Tallinn University of Technology
Thesis  (1992)

Tanel Tammet is an Estonian computer scientist, professor, software engineer, and computer programmer. He was also one of the founding members of the Estonian Greens party, [1] and helped found the IT College in Tallinn.

Contents

Life and career

Born in 1965, Tammet had early access to the University of Tartu's computers through his father's work at the physics department. [2] 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. [3] 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. [4] He has been the Estonian delegate to the Information Systems Technology Panel of the NATO Research and Technology Organisation, and written about cyber security. [5] [6] He often teaches or speaks [7] about artificial intelligence, and has asserted that it already exists, albeit in a primitive and distributed form. [8]

From 2006, Tammet was a founding member and member of the board of the Estonian Greens. [1] 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. [9] It subsequently failed to reach the minimum 5% of the vote needed in the 2011 parliamentary elections and faded. [10]

Tammet is a professor at the Tallinn University of Technology and is the faculty manager of its computer science institute. [11] Formerly he had helped found the Tallinn IT College and was on its board of advisors from its inception in 2003. [12] Tammet has also worked in the Institute of Cybernetics in Tallinn. [13] In 2012, he received attention [14] [15] 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. [13] In 2002, he was issued the fifth class of the Order of the White Star. [16]

Books

Related Research Articles

<span class="mw-page-title-main">University of Tartu</span> Public university in Tartu, Estonia

The University of Tartu is a public research university located in the city of Tartu, Estonia. It is the national university of Estonia. It is the largest and oldest university in the country. The university was founded under the name of Academia Gustaviana in 1632 by Baron Johan Skytte, the Governor-General of Swedish Livonia, Ingria, and Karelia, with the required ratification provided by King Gustavus Adolphus, shortly before the king's death on 6 November in the Battle of Lützen (1632).

<span class="mw-page-title-main">Estonian Centre Party</span> Political party in Estonia

The Estonian Centre Party is a left-centrist political party in Estonia. It was founded in 1991 as a direct successor of the Popular Front of Estonia, and it is currently led by Mihhail Kõlvart.

<span class="mw-page-title-main">Tallinn University of Technology</span> University in Tallinn, Estonia

Established in 1918, Tallinn University of Technology is the only technical university in Estonia. TalTech, in the capital city of Tallinn, is a university for engineering, business, public administration and maritime affairs. TalTech has colleges in Tartu and Kohtla-Järve. Despite the similar names, Tallinn University and Tallinn University of Technology are separate institutions.

<span class="mw-page-title-main">University of Tartu men's basketball team</span> Estonian basketball club

Tartu Ülikooli korvpallimeeskond, also known as Tartu Ülikool Maks & Moorits for sponsorship reasons, is a professional basketball team based in Tartu, Estonia. They are a part of the University of Tartu Academic Sports Club. The team plays in the Estonian-Latvian Basketball League and the Korvpalli Meistriliiga (KML). Their home arena is the University of Tartu Sports Hall.

<span class="mw-page-title-main">Jüri Talvet</span> Estonian poet and academic

Jüri Talvet is an Estonian poet and academic. He is the author of various literary works including poetry, criticism, and essays.

Elmar Tampõld was an Estonian-Canadian architect and founder of an academic base for Estonian studies in Toronto.

<span class="mw-page-title-main">Index of Estonia-related articles</span>

The following is an alphabetical list of articles related to the Republic of Estonia.

Otto Liiv was an Estonian historian and archivist. He was one of the founders of Estonian archival science as well as one of the most prolific and respected historians in Estonia.

<span class="mw-page-title-main">University of Tartu Viljandi Culture Academy</span> Academic institution in Estonia

University of Tartu Viljandi Culture Academy is an Estonian institution of higher education, situated in the provincial town of Viljandi, central Estonia. The UT Viljandi Culture Academy merged with the University of Tartu in 2005. The UT VCA has been teaching professional higher education and performing applied research within information science, culture education and creative arts since 1952. The academy has about 1000 students, half of whom are open university students. The teaching and instruction are based on the continuity and sustainability of Estonian native culture enriched by new impulses which widen the notion of traditional culture. As of 2021, the Director of the institution is Juko-Mart Kõlar.

<span class="mw-page-title-main">Eerik-Niiles Kross</span> Estonian politician

Eerik-Niiles Kross is an Estonian politician, diplomat, former chief of intelligence and entrepreneur. He is a member of parliament (Riigikogu). During the 1980s, Kross was a prominent figure in the anti-Soviet non-violent resistance movement in Soviet Estonia. After re-independence, in 1991, he joined Estonia's Foreign Ministry. He served as the head of intelligence from 1995 to 2000; and as national security advisor to former President Lennart Meri in 2000 and 2001.

<span class="mw-page-title-main">Rein Raud</span> Estonian scholar and author (born 1961)

Rein Raud is an Estonian academic and author.

<span class="mw-page-title-main">Gunnar Kangro</span> Estonian mathematician

Gunnar Kangro was an Estonian mathematician. He worked mainly on summation theory. He taught various courses on mathematical analysis, functional analysis and algebra in University of Tartu and he has written several university textbooks.

<span class="mw-page-title-main">Tullio Ilomets</span> Estonian chemist (1921–2018)

Tullio Ilomets was an Estonian chemist, science historian and a volunteer in heritage protection.

<span class="mw-page-title-main">Züleyxa Izmailova</span> Estonian journalist, environmental activist, and politician

Züleyxa "Zuzu" Izmailova is an Estonian journalist, environmental activist and politician, who was the leader of the Estonian Greens from March 2017 to February 2022.

<span class="mw-page-title-main">Sergei Issakov</span> Estonian literary scholar and politician

Sergei Gennadievich Issakov was an Estonian literary scholar and politician.

Kaur Alttoa is an Estonian art historian and cultural historian.

<span class="mw-page-title-main">Andres Sutt</span> Estonian politician

Andres Sutt is an Estonian politician. He served as Minister of Entrepreneurship and Information Technology in the cabinet of Prime Minister Kaja Kallas. He served as acting Minister of Foreign Affairs from June to July 2022.

Tiina Kangro is an Estonian journalist and politician. She was a member of XIII Riigikogu, representing the Isamaa party.

<span class="mw-page-title-main">Märt Põder</span> Estonian philosopher and information freedom activist

Märt Põder is an Estonian philosopher, freedom of information activist, presenter, publicist and translator.

Reet Kasik is an Estonian linguist.

References

  1. 1 2 Raun, Alo (25 November 2006). "Rohelised üritavad esimeheta hakkama saada (The Greens will try to manage without a leader)". Postimees Online. Archived from the original on 13 February 2013. Retrieved 16 May 2012.
  2. ↑ "Person's information: Hannes Tammet". Estonian Research Portal. Retrieved 16 May 2012.
  3. ↑ "Person's information: Tanel Tammet". Estonian Research Portal. Retrieved 16 May 2012.
  4. ↑ "The CADE ATP System Competition". CADE. University of Miami. Retrieved 16 May 2012.
  5. ↑ Tammet, Tanel (9 October 2011). "Küberkaitsjad korraga kahes ülikoolis (Cyber security in two universities at the same time)". Arvutimaailm. Retrieved 16 May 2012.
  6. ↑ Tammet, Tanel (30 November 2005). "Külm kübersõda (Cold cyberwar)". Eesti Päevaleht. Retrieved 16 May 2012.
  7. ↑ "Internet ja tehismõistuse tekkimine". Tallinn University of Technology. Google Video. Retrieved 16 May 2012.
  8. ↑ Aasaru, Heikki (23 April 2012). "Tanel Tammet: tehisintellekt on juba olemas (Tanel Tammet: Artificial intelligence already exists)". ERR. Retrieved 16 May 2012.
  9. ↑ Silm, Sander (18 May 2010). "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)". Õhtuleht. Retrieved 16 May 2012.
  10. ↑ "Erakond Eestimaa Rohelised (Estonian Greens)". Eesti Erakondade Ajalugu (History of Estonian political parties). erakonnad.info.
  11. ↑ "Kontaktid (contacts)". Tallinn University of Technology. Retrieved 16 May 2012.
  12. ↑ "Nõunike kogu (Board of advisors)". IT College. Retrieved 16 May 2012.
  13. 1 2 "Tanel Tammet peab loodushoidu vabaduseks (Tanel Tammet equates environmentalism with freedom)". Persoonid (people). Grüüne. Archived from the original on 5 March 2016. Retrieved 16 May 2012.
  14. ↑ Zhang, Michael (23 January 2012). "Sightseeing Heatmap of Popular Photo Spots Around the World". PetaPixel. Retrieved 16 May 2012.
  15. ↑ Newman, Leight (25 January 2012). "A Flash of Happiness". Life Lif. Retrieved 16 May 2012.
  16. ↑ "Bearers of Decorations". Estonian State Decorations. Office of the President of Estonia. Retrieved 16 May 2012.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.