Tanel Tammet

Last updated
Tanel Tammet
Born (1965-05-16) May 16, 1965 (age 53)
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 Northern Europe

Estonia, officially the Republic of Estonia, is a country 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.

Estonian Greens is an Estonian green political party.

Tallinn City in Harju, Estonia

Tallinn is the capital and largest city of Estonia. It is on the northern coast of the country, on the shore of the Gulf of Finland in Harju County. From the 13th century until 1918, the city was known as Reval. Tallinn occupies an area of 159.2 km2 (61.5 sq mi) and has a population of 453,033.

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 classical university in the city of Tartu, Estonia. It is the national university of Estonia. The University of Tartu is the only classical university in the country and also the biggest and most prestigious university in Estonia. It was established by King Gustavus Adolphus of Sweden in 1632.

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 the field of computer science, artificial intelligence (AI), sometimes called machine intelligence, is intelligence demonstrated by machines, in contrast to the natural intelligence displayed by humans and other animals. Computer science defines AI research as the study of "intelligent agents": any device that perceives its environment and takes actions that maximize its chance of successfully achieving its goals. More specifically, Kaplan and Haenlein define AI as “a system’s ability to correctly interpret external data, to learn from such data, and to use those learnings to achieve specific goals and tasks through flexible adaptation”. Colloquially, the term "artificial intelligence" is applied when a machine mimics "cognitive" functions that humans associate with other human minds, 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 mathematical algorithms and 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

The 2007 cyberattacks on Estonia were a series of cyberattacks which began on 27 April 2007 and targeted websites of Estonian organizations, including Estonian parliament, banks, ministries, newspapers and broadcasters, amid the country's disagreement with Russia about the relocation of the Bronze Soldier of Tallinn, an elaborate Soviet-era grave marker, as well as war graves in Tallinn. Most of the attacks that had any influence on the general public were distributed denial of service type attacks ranging from single individuals using various methods like ping floods to expensive rentals of botnets usually used for spam distribution. Spamming of bigger news portals commentaries and defacements including that of the Estonian Reform Party website also occurred. Research has also shown that large conflicts took place to edit the English-language version of the Bronze Soldier's Wikipedia page.

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 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 last coached Estonian team Tallinna Kalev/TLÜ. 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 diplomat, intelligence chief, entrepreneur and politician. He was a member the Riigikogu. During the 1980s, Kross was a leading figure in the anti-Soviet 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. Her father is Tõnu Anton, a former member of the Supreme Court of Estonia and signatory of the ratification of the Estonian restoration of Independence. Ülle Madise is also a professor of constitutional law at the University of Tartu.

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.