Thomas Colcombet - Thomas Colcombet - Wikipedia

Thomas Colcombet
narozený (1975-03-06) 6. března 1975 (věk 45)
Alma materUniversity of Rennes 1
Známý jakochodící automaty
OceněníBronzová medaile CNRS (2010)
Vědecká kariéra
PoleTeoretická informatika
Teorie automatů
InstituceParis Diderot University
Doktorský poradceDidier Caucal

Thomas Colcombet (narozen 6. března 1975) je a francouzština teoretický počítačový vědec známý pro řešení hlavních otevřených problémů na chodící automaty[1][2] společně s Mikołaj Bojańczyk. Colcombet je v současné době CNRS Research Director ve společnosti Paris Diderot University.

Životopis

Colcombet získal vysokoškolské vzdělání od École normale supérieure de Lyon (2000) a jeho doktorát z University of Rennes 1 (2004). Od roku 2004 je a CNRS výzkumný pracovník a ředitel výzkumu od roku 2016. Bronzovou medaili CNRS získal v roce 2010.

Kromě své práce na automatech na procházky po stromech přispěl Colcombet ω-automaty,[3] zvláště k složitost stavu z Büchi automaty,[4] a na různá témata v logika v informatice.

Reference

  1. ^ Bojańczyk, Mikołaj; Colcombet, Thomas (2006). Msgstr "Automaty pro chůzi po stromech nelze určit". Teoretická informatika. 350 (2–3): 164–173. doi:10.1016 / j.tcs.2005.10.031. ISSN  0304-3975.
  2. ^ Bojańczyk, Mikołaj; Colcombet, Thomas (2008). "Automaty chodící po stromech nerozpoznávají všechny běžné jazyky". SIAM Journal on Computing. 38 (2): 658–701. CiteSeerX  10.1.1.100.7065. doi:10.1137/050645427. ISSN  0097-5397.
  3. ^ Colcombet, Thomas; Fijalkow, Nathanaël (2016). Most mezi běžnými náklady a omezenými jazyky. doi:10.4230 / LIPIcs.ICALP.2016.126. ISBN  978-3-95977-013-2.
  4. ^ Colcombet, Thomas; Zdanowski, Konrad (2009). "Těsná dolní hranice pro stanovení přechodových automatů s označením Büchi Automata". Automaty, jazyky a programování. Přednášky z informatiky. 5556. str. 151–162. doi:10.1007/978-3-642-02930-1_13. ISBN  978-3-642-02929-5. ISSN  0302-9743.

externí odkazy