トーマス・コルコンベット

トーマス・コルコンベ（1975年3月6日生まれ）は、ミコワイ・ボヤンチクと共同で木歩行オートマトンに関する主要な未解決問題を解決したことで知られるフランスの理論計算機科学者である^[1]^[2]。コルコンベは現在、パリ・ディドロ大学の CNRS研究ディレクターを務めている。

バイオグラフィー

コルコンベは、リヨン高等師範学校で学士号（2000 年）、レンヌ第 1 大学で博士号（2004 年）を取得しました。2004 年以来、 CNRS研究者であり、2016 年からは研究ディレクターを務めています。2010 年に CNRS ブロンズメダルを受賞しました。

木歩行オートマトンに関する研究の他に、コルコンベはωオートマトン^[3]、特にビュッヒオートマトンの状態複雑性^[4]やコンピュータサイエンスにおける論理のさまざまなトピックにも貢献しました。

^ Bojańczyk, Mikołaj; Colcombet, Thomas (2006). 「ツリーウォーキングオートマトンを決定付けることはできない」.理論計算機科学. 350 (2–3): 164–173. doi : 10.1016/j.tcs.2005.10.031 . ISSN 0304-3975.
^ Bojańczyk, Mikołaj; Colcombet, Thomas (2008). 「ツリーウォーキングオートマトンがすべての正規言語を認識するわけではない」SIAM Journal on Computing . 38 (2): 658–701. CiteSeerX 10.1.1.100.7065 . doi :10.1137/050645427. ISSN 0097-5397.
^ Colcombet, Thomas; Fijalkow, Nathanaël (2016). 「正規コスト関数とオメガ正規言語の架け橋」。第43回オートマトン、言語、プログラミング国際コロキウム。ICALP 2016。ライプニッツ国際情報学会議 (LIPIcs)。第55巻。pp. 126:1–126:13。doi : 10.4230/ LIPIcs.ICALP.2016.126。ISBN 978-3-95977-013-2。
^ Colcombet, Thomas; Zdanowski, Konrad (2009). 「遷移ラベル付き Büchi オートマトンにおける決定性の厳密な下限」.オートマトン、言語、プログラミング. コンピュータサイエンスの講義ノート. 第 5556 巻. pp. 151–162. doi :10.1007/978-3-642-02930-1_13. ISBN 978-3-642-02929-5. ISSN 0302-9743.