Томас Колкомбет

Томас Колкомбет
Томас Колкомбет
Рожденный	6 марта 1975 г. (49 лет)
Альма-матер	Университет Ренна 1
Известный	автоматы , шагающие по деревьям, Liquid War
Награды	Бронзовая медаль НЦРС ( 2010 г.).
	Научная карьера
Поля	Теоретическая информатика ; Теория автоматов
Учреждения	Парижский университет Дидро
Докторантура	Дидье Кокаль

Томас Колкомбе (родился 6 марта 1975 г.) - французский ученый-теоретик-компьютерщик, известный решением основных открытых проблем, связанных с автоматами, шагающими по деревьям. ^{[ 1 ]}^{[ 2 ]} совместно с Николаем Боянчиком . Колкомбет в настоящее время является директором по исследованиям CNRS в Парижском университете Дидро .

Биография

Колкомбе получил степень бакалавра в Высшей нормальной школе Лиона (2000 г.) и докторскую степень в Университете Ренна 1 (2004 г.). С 2004 года — научный сотрудник НЦРИ , с 2016 года — директор по исследованиям. В 2010 году получил бронзовую медаль НЦРС.

Помимо своей работы над автоматами, шагающими по деревьям, Колкомбет внес вклад в создание ω-автоматов . ^{[ 3 ]} в частности, для определения сложности автоматов Бюхи , ^{[ 4 ]} и различным темам логики в информатике .

Он участвовал в разработке видеоигры Liquid War .

Ссылки

^ Боянчик, Миколай; Колкомбет, Томас (2006). «Древоходные автоматы не могут быть детерминированы» . Теоретическая информатика . 350 (2–3): 164–173. дои : 10.1016/j.tcs.2005.10.031 . ISSN 0304-3975 .
^ Боянчик, Миколай; Колкомбет, Томас (2008). «Древоходные автоматы не распознают все обычные языки». SIAM Journal по вычислительной технике . 38 (2): 658–701. CiteSeerX 10.1.1.100.7065 . дои : 10.1137/050645427 . ISSN 0097-5397 .
^ Колкомбет, Томас; Фиялкоу, Натанаэль (2016). «Мост между функциями регулярной стоимости и омега-регулярными языками». 43-й международный коллоквиум по автоматам, языкам и программированию . ICALP 2016. Международные труды Лейбница по информатике (LIPIcs). Том. 55. стр. 126:1–126:13. doi : 10.4230/LIPIcs.ICALP.2016.126 . ISBN 978-3-95977-013-2 .
^ Колкомбет, Томас; Здановский, Конрад (2009). «Точная нижняя граница для определения перехода, помеченного автоматами Бючи». Автоматы, языки и программирование . Конспекты лекций по информатике. Том. 5556. стр. 151–162. дои : 10.1007/978-3-642-02930-1_13 . ISBN 978-3-642-02929-5 . ISSN 0302-9743 .

Внешние ссылки

Официальный сайт
Томас Колкомбет на DBLP библиографическом сервере
Томас Колкомбет в проекте «Математическая генеалогия»

[BojańczykColcombet2006-1] Боянчик, Миколай; Колкомбет, Томас (2006). «Древоходные автоматы не могут быть детерминированы» . Теоретическая информатика . 350 (2–3): 164–173. дои : 10.1016/j.tcs.2005.10.031 . ISSN 0304-3975 .

[BojańczykColcombet2008-2] Боянчик, Миколай; Колкомбет, Томас (2008). «Древоходные автоматы не распознают все обычные языки». SIAM Journal по вычислительной технике . 38 (2): 658–701. CiteSeerX 10.1.1.100.7065 . дои : 10.1137/050645427 . ISSN 0097-5397 .

[3] Колкомбет, Томас; Фиялкоу, Натанаэль (2016). «Мост между функциями регулярной стоимости и омега-регулярными языками». 43-й международный коллоквиум по автоматам, языкам и программированию . ICALP 2016. Международные труды Лейбница по информатике (LIPIcs). Том. 55. стр. 126:1–126:13. doi : 10.4230/LIPIcs.ICALP.2016.126 . ISBN 978-3-95977-013-2 .

[ColcombetZdanowski2009-4] Колкомбет, Томас; Здановский, Конрад (2009). «Точная нижняя граница для определения перехода, помеченного автоматами Бючи». Автоматы, языки и программирование . Конспекты лекций по информатике. Том. 5556. стр. 151–162. дои : 10.1007/978-3-642-02930-1_13 . ISBN 978-3-642-02929-5 . ISSN 0302-9743 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]