Tanel Tammet

Last updated
Tanel Tammet
Born (1965-05-16) May 16, 1965 (age 54)
NationalityEstonian
Alma mater University of Tartu Chalmers University of Technology (Ph.D.)
OccupationProfessor, programmer

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

Estonia Republic in Baltic Region of Northern Europe

Estonia, officially the Republic of Estonia, is a country on the eastern coast of the Baltic Sea in Northern Europe. It is bordered to the north by the Gulf of Finland with Finland on the other side, to the west by the Baltic Sea with Sweden on the other side, to the south by Latvia (343 km), and to the east by Lake Peipus and Russia (338.6 km). The territory of Estonia consists of a mainland and 2,222 islands in the Baltic Sea, covering a total area of 45,227 km2 (17,462 sq mi), water 2,839 km2 (1,096 sq mi), land area 42,388 km2 (16,366 sq mi), and is influenced by a humid continental climate. The official language of the country, Estonian, is the second-most-spoken Finnic language.

The Estonian Greens is an Estonian green political party. Founded in 1989, the party held six seats in the Riigikogu from 2007 to 2011. Its objective is to ensure that Estonia's development is environmentally friendly, sustainable, politically stable and economically efficient.

Tallinn City in Harju, Estonia

Tallinn is the capital, primate and the most populous city of Estonia. Located in the northern part of the country, on the shore of the Gulf of Finland of the Baltic Sea, it has a population of 434,562. Administratively a part of Harju maakond (county), Tallinn is a major financial, industrial, cultural, educational and research centre of Estonia. Tallinn is located 80 kilometres (50 mi) south of Helsinki, Finland, 320 kilometres (200 mi) west of Saint Petersburg, Russia, and 380 kilometres (240 mi) east of Stockholm, Sweden. It has close historical ties with these three cities. From the 13th century until the first half of the 20th century Tallinn was known in most of the world by its historical German name Reval.

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 the university's maths department in applied mathematics, specializing in information technology. He took interest in automated theorem proving and graduated the Gothenburg Chalmers University of Technology in with a Ph.D. in 1992. [3] He lived in Sweden for the most part of that decade, then returned to Tallinn.

University of Tartu university in the city of Tartu, Estonia

The University of Tartu is a university in the city of Tartu in Estonia. It is the national university of Estonia, and the only classical university in the country, and also the biggest and most prestigious university in Estonia. It was founded under the name of Academia Gustaviana in 1632 by Baron Johan Skytte, the Governor- General (1629–1634) of Swedish Livonia, Ingria and Karelia, with the required ratification provided by his long-time friend and former student – from age 7 –, King Gustavus Adolphus, shortly before the king's death on 6 November in the Battle of Lützen (1632), during the Thirty Years' War (1618–1648).

Automated theorem proving is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.

Gothenburg City in Västergötland and Bohuslän, Sweden

Gothenburg is the second-largest city in Sweden, fifth-largest in the Nordic countries, and capital of the Västra Götaland County. It is situated by Kattegat, on the west coast of Sweden, and has a population of approximately 570,000 in the city center and about 1 million inhabitants in the metropolitan area.

Tammet received international renown for his automated theorem proving program Gandalf, which won different categories of the 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]

The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Europe and the United States. However, conferences have been held all over the world. Since 1996, CADE has been held yearly. In 2001, CADE was, for the first time, merged into the International Joint Conference on Automated Reasoning (IJCAR). This has been repeated biannually since 2004.

In computer science, artificial intelligence (AI), sometimes called machine intelligence, is intelligence demonstrated by machines, in contrast to the natural intelligence displayed by humans. Leading AI textbooks define the field as the study of "intelligent agents": any device that perceives its environment and takes actions that maximize its chance of successfully achieving its goals. Colloquially, the term "artificial intelligence" is often used to describe machines that mimic "cognitive" functions that humans associate with the human mind, such as "learning" and "problem solving".

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]

Riigikogu parliament of Estonia

The Riigikogu is the unicameral parliament of Estonia. All important state-related questions pass through the Riigikogu. In addition to approving legislation, the Riigikogu appoints high officials, including the Prime Minister and Chief Justice of the Supreme Court, and elects the President. The Riigikogu also ratifies significant foreign treaties that impose military and proprietary obligations, bring about changes in law, etc.; approves the budget presented by the government as law and monitors the executive power.

Tammet is a professor at the Tallinn University of Technology and is the faculty manager of its computer science institute. [11] Previously 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.

Tallinn University of Technology university in 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.

Computer science Study of the theoretical foundations of information and computation

Computer science is the study of processes that interact with data and that can be represented as data in the form of programs. It enables the use of algorithms to manipulate, store, and communicate digital information. A computer scientist studies the theory of computation and the practice of designing software systems.

Panoramio Web service

Panoramio is a discontinued geo-located tagging, photo sharing mashup which was bought by Google in 2007. Accepted geo-located tagged photos uploaded to the site could be accessed as a layer in Google Earth and Google Maps, with new photos being added at the end of every month. The site's goal was to allow Google Earth users to learn more about a given area by viewing the photos that other users had taken at that location. The website was available in several languages. In 2009 the website was among 1000 most popular websites worldwide.

Tammet has three sons. [13] In 2002, he was issued the fifth class of the Order of the White Star. [16]

Order of the White Star award of Estonia

The Order of the White Star was instituted on 1936. The Order of the White Star is bestowed on Estonian citizens and foreigners to give recognition for services rendered to the Estonian state.

Books

Related Research Articles

Rail transport in Estonia

The rail transport system in Estonia consists of about 1,200 kilometres (750 mi) of railway lines, of which 900 kilometres (560 mi) are currently in public use. The infrastructure of the railway network is mostly owned by the state and is regulated and surveyed by the Estonian Technical Surveillance Authority.

University of Tartu basketball team, is a professional basketball team based in Tartu, Estonia. The team plays in the Latvian–Estonian Basketball League. They play their home games at the University of Tartu Sports Hall.

Jüri Talvet Estonian poet

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

Gert Kullamäe is an Estonian basketball coach and a former professional basketball player who currently coaches Estonian team TalTech. Kullamäe mostly played at the shooting guard position and was a great 3-point shooter. As a player he is a seven-time Estonian Champion and Soviet Union, Lithuanian, Belgian and Dutch champion.

Siim Valmar Kiisler Estonian politician

Siim Valmar Kiisler is an Estonian politician, a member of the Union of Pro Patria and Res Publica (IRL).

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.

Eerik-Niiles Kross 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-occupied 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.

Rein Raud Estonian academic

Rein Raud is an Estonian scholar and author.

Gunnar Kangro 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.

Liis Koger Estonian artist and poet

Liis Koger is an Estonian painter and poet based in Tallinn.

Estonian League Women's Basketball Championship - Estonian basketball tournament among women's teams. The first draw took place in 1991, which was the team of champions " Maynor Meelis " from Tallinn. Most titles - 10 on the team account Tallinn University. In the top division «Meistriliiga» usually played 4 - 6 teams. Since the season 2012/13 the top five clubs, " Ekleks " (Tallinn), " Tallinna Ülikooli " (Tallinn), " Audentes SG / Noortekoondis " (Tallinn), " Tartu Ülikooli" (Tartu) and "AmEst" (Rapla) entered combined with the Latvian league teams " Lat-Est TBR " at the end of which the 4 best teams in Estonia, by playoff system, kidding title Estonia.

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

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

Ülle Madise

Ülle Madise is an Estonian lawyer and the current Chancellor of Justice of Estonia since 2015.

The 2017–18 Korvpalli Meistriliiga season was the 93rd season of top-tier basketball in Estonia.

Sergei Issakov Estonian literary scholar and politic

Sergei Gennadievich Issakov was an Estonian literary scholar and politician.

Eve Oja

Eve Oja was an Estonian mathematician specializing in functional analysis. She was a professor at the University of Tartu.

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 previous 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, Leigh (25 January 2012). "A Flash of Happiness". Life Lift. Retrieved 16 May 2012.
  16. "Bearers of Decorations". Estonian State Decorations. Office of the President of Estonia. Retrieved 16 May 2012.