Танель Таммет - Tanel Tammet
Танель Таммет | |
---|---|
Танель Таммет в 2008 году.
| |
Родившийся |
|
16 мая 1965 г.
Национальность | эстонский |
Альма-матер | Тартуский технологический университет им. Чалмерса ( Ph.D. ) |
профессия | Профессор, программист |
Танел Таммет - эстонский ученый-компьютерщик, профессор и инженер-программист. Он также был одним из основателей партии зеленых Эстонии и помог основать ИТ-колледж в Таллинне .
Жизнь и карьера
Родившийся в 1965 году, Таммет имел ранний доступ к компьютерам Тартуского университета благодаря работе своего отца на физическом факультете. В итоге он окончил математический факультет университета по прикладной математике по специальности информационные технологии. Он проявил интерес к автоматизированному доказательству теорем и окончил Гетеборгский технологический университет им. Чалмерса со степенью доктора философии. в 1992 году. Большую часть этого десятилетия он прожил в Швеции, затем вернулся в Таллинн.
Таммет получил международную известность за свою программу автоматического доказательства теорем Gandalf, которая шесть раз выиграла различные категории конкурса CADE CASC в период с 1997 по 2003 год. Он был делегатом от Эстонии в Группе информационных систем Организации исследований и технологий НАТО и писал о кибербезопасность . Он часто учит или говорит об искусственном интеллекте и утверждал, что он уже существует, хотя и в примитивной и распределенной форме.
С 2006 года Таммет был одним из основателей и членом правления Эстонских зеленых. Партия была избрана в Рийгикогу в следующем году с 7,1% голосов по всей стране, что дало ей шесть мест. В 2010 году на фоне роста напряженности после их неудачных выборов в Европейский парламент и местных выборов в 2009 году Таммет вместе с 19 другими членами был исключен из партии. Впоследствии ему не удалось набрать минимум 5% голосов, необходимых на парламентских выборах 2011 года, и он исчез.
Таммет - профессор Таллиннского технологического университета и заведующий кафедрой его института информатики . Ранее он участвовал в основании Таллиннского ИТ-колледжа и входил в его советник с момента его основания в 2003 году. Таммет также работал в Таллиннском институте кибернетики. В 2012 году он привлек внимание к созданию Sightsmap, веб-сайта, который визуализирует популярность мест по всему миру на основе данных Panoramio , Wikipedia и Foursquare .
У Таммета четверо сыновей. В 2002 году награжден Орденом Белой Звезды пятой степени .
Книги
- Таммет, Танель; Teejuht võrgumaailma , Тарту: Ilmamaa, 1997. ISBN 9985821874
- Тамме, Тыну; Таммет, Танель; Шутка, Рейн; Loogika: Mõtlemisest tõestamiseni , Тарту: Tartu Ülikooli Kirjastus, 1997. ISBN 9985562313