Hispanopedia Wiki
Articulo de referencia

Thomas Colcombet

[[Automata theory]]"},"work_institution":{"wt":"[[Paris Diderot University]]"},"alma_mater":{"wt":"[[University of Rennes 1]]"},"doctoral_advisor":{"wt":"Didier Caucal"},"known_...

Hispanopedia WikiContenido en espanolLectura gratuita

Thomas Colcombet (nacido el 6 de marzo de 1975) es un científico informático teórico francés conocido por resolver importantes problemas abiertos sobre autómatas de recorrido de árboles [ 1 ] [ 2 ] junto con Mikołaj Bojańczyk . Colcombet es actualmente director de investigación del CNRS en la Universidad Paris Cité .

Biografía

Colcombet se licenció en la École normale supérieure de Lyon (2000) y se doctoró en la Universidad de Rennes 1 (2004). Desde 2004 es investigador del CNRS y director de investigación desde 2016. Recibió la Medalla de Bronce del CNRS en 2010.

Además de su trabajo sobre autómatas de recorrido de árboles, Colcombet contribuyó a los ω-autómatas , [ 3 ] en particular a la complejidad de estados de los autómatas de Büchi , [ 4 ] y a varios temas de lógica en ciencias de la computación .

Participó en el desarrollo del videojuego Liquid War .

Referencias

  1. ↑ Bojańczyk, Mikołaj; Colcombet, Thomas (2006). "Los autómatas de recorrido de árboles no se pueden determinizar" . Theoretical Computer Science . 350 ( 2–3 ): 164–173 . doi : 10.1016/j.tcs.2005.10.031 . ISSN 0304-3975 . 
  2. ↑ Bojańczyk, Mikołaj; Colcombet, Thomas (2008). "Los autómatas que recorren árboles no reconocen todos los lenguajes regulares". 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). «El puente entre las funciones de coste regulares y los lenguajes omega-regulares». 43.º Coloquio Internacional sobre Autómatas, Lenguajes y Programación . ICALP 2016. Actas Internacionales Leibniz en Informática (LIPIcs). Vol. 55. págs. 126:1–126:13. doi : 10.4230/LIPIcs.ICALP.2016.126 . ISBN   978-3-95977-013-2.
  4. ↑ Colcombet, Thomas; Zdanowski, Konrad (2009). "Una cota inferior ajustada para la determinización de autómatas de Büchi etiquetados con transiciones". Autómatas, lenguajes y programación . Notas de clase en ciencias de la computación. Vol. 5556. págs. 151–162 . doi : 10.1007/978-3-642-02930-1_13 . ISBN   978-3-642-02929-5ISSN 0302-9743​​