Global Information Lookup Global Information

Tanel Tammet information


Tanel Tammet
Tanel Tammet in 2008.
Born (1965-05-16) May 16, 1965 (age 58)
Tallinn, Estonia
EducationUniversity of Tartu
Chalmers University of Technology (Ph.D., 1992)
Known forAutomated theorem proving Gandalf
Estonian Greens founder
Children2
AwardsOrder of the White Star
Scientific career
FieldsComputer science
InstitutionsTallinn 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.

  1. ^ 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.

and 10 Related for: Tanel Tammet information

Request time (Page generated in 0.8382 seconds.)

Tanel Tammet

Last Update:

Tanel Tammet is an Estonian computer scientist, professor, software engineer, and computer programmer. He was also one of the founding members of the Estonian...

Word Count : 695

Tammet

Last Update:

Tammet-Romanov (died 1977) Daniel Tammet (born 1979) Tanel Tammet (born 1965) This page lists people with the surname Tammet. If an internal link intending...

Word Count : 72

Tanel

Last Update:

presenter and politician Tanel Tammet (born 1965), Estonian computer scientist, professor, software engineer and politician Tanel Tein (born 1978), Estonian...

Word Count : 195

Electronic voting in Estonia

Last Update:

code was published in June 2013 because of social pressure initiated by Tanel Tammet, a computer scientist who coauthored research papers from 2001 on electronic...

Word Count : 3488

May 16

Last Update:

Novoselic, American bass player, songwriter, author, and activist 1965 – Tanel Tammet, Estonian computer scientist, engineer, and academic 1966 – Janet Jackson...

Word Count : 4800

Sightsmap

Last Update:

was created in 2012 by Tanel Tammet, with significant contributions in 2012 and 2013 by Priit Järv and Ago Luberg. Tammet, Tanel; Luberg, Ago; Järv, Priit...

Word Count : 240

Handbook of Automated Reasoning

Last Update:

 1635–1790. Christian Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet. Resolution Decision Procedures, pp. 1791–1849. Implementation I.V. Ramakrishnan...

Word Count : 414

List of Estonians

Last Update:

political scientist, politician Jaak Tamm (1950–1999), politician Alexei Tammet-Romanov (1935–1977), Romanov impostor Andres Tarand (born 1940), politician...

Word Count : 3634

List of Estonian films before 1991

Last Update:

Kadri Jäätma, Sulev Nõmmik, Väino Puura, Lauri Nebel Comedy Soolo Raul Tammet Sci-Fi Tuulte pesa Olav Neuland Drama Õpetaja Mark-Toomas Soosaar Drama...

Word Count : 69

List of Estonian films since 1991

Last Update:

Merivoo, Harri Merivoo, Elise Tekko, Roland Treima, Mari-Liis Lill, Marek Tammets, Ivo Uukkivi, Paul Purga, Paul Laasik, Venno Loosaar, Juhan Rodrik, Jaanus...

Word Count : 56

PDF Search Engine © AllGlobal.net