Томас Колкомбет - Википедия - Thomas Colcombet

Томас Колкомбет
Туған (1975-03-06) 1975 жылғы 6 наурыз (45 жас)
Алма матерРенн университеті 1
Белгіліағашпен жүру автоматтары
МарапаттарҚола медалі CNRS (2010)
Ғылыми мансап
ӨрістерТеориялық информатика
Автоматтар теориясы
МекемелерПариж Дидро университеті
Докторантура кеңесшісіДидье Кокаль

Томас Колкомбет (1975 ж. 6 наурызында туған) - бұл а Француз компьютерлік теоретик негізгі ашық мәселелерді шешумен танымал ағашпен жүру автоматтары[1][2] бірге Миколай Боячик. Colcombet қазіргі уақытта CNRS Ғылыми директоры Париж Дидро университеті.

Өмірбаян

Колкомбет өзінің бакалавр дәрежесін алған École normale supérieure de Лион (2000) және оның докторы Ренн университеті 1 (2004). 2004 жылдан бастап ол а CNRS 2016 жылдан бастап ғылыми қызметкер және ғылыми директор. Ол CNRS қола медалін 2010 жылы алды.

Колкомбет ағашты серуендейтін автоматтардағы жұмысынан басқа өз үлесін қосты ω-автоматтар,[3] әсіресе мемлекеттік күрделілік туралы Büchi автоматтары,[4] және әр түрлі тақырыптарға арналған информатикадағы логика.

Әдебиеттер тізімі

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

Сыртқы сілтемелер