Géraud Sénizergues (nacido el 9 de marzo de 1957) es un informático francés de la Universidad de Burdeos .
Géraud Sénizergues | |
---|---|
![]() Sénizergues en septiembre de 2017 | |
Nació | 9 de marzo de 1957 |
Nacionalidad | francés |
Premios |
|
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Burdeos |
Sitio web | dept-info |
Es conocido por sus contribuciones a la teoría de autómatas , la teoría combinatoria de grupos y los sistemas de reescritura abstracta . [1]
Recibió su Ph.D. (Doctorat d'état en Informatique) de la Université Paris Diderot (Paris 7) en 1987 bajo la dirección de Jean-Michel Autebert . [2]
Con Yuri Matiyasevich obtuvo resultados sobre el problema de correspondencia del Post . [3] Ganó el premio Gödel 2002 "por demostrar que la equivalencia de los autómatas pushdown deterministas es decidible ". [4] [5] [6] En 2003 fue galardonado con el Premio Gay-Lussac Humboldt .
Referencias
- ^ "DBLP Geraud Senizergues" .
- ^ "Proyecto de genealogía matemática, Geraud Senizergues" .
- ^ Matiyasevich, Y .; Senizergues, G. (1996). "Problemas de decisión para sistemas semi-Thue con algunas reglas". Actas XI Simposio Anual IEEE sobre Lógica en Ciencias de la Computación . Nuevo Brunswick, Nueva Jersey, EE. UU .: IEEE Comput. Soc. Presione: 523–531. doi : 10.1109 / LICS.1996.561469 . ISBN 9780818674631.
- ^ "Premio Gödel 2002" . sigact.org . Consultado el 10 de mayo de 2019 .
- ^ Sénizergues, Géraud (1997). Degano, Pierpaolo; Gorrieri, Roberto; Marchetti-Spaccamela, Alberto (eds.). "El problema de equivalencia para los autómatas pushdown deterministas es decidible". Autómatas, lenguajes y programación . Apuntes de conferencias en Ciencias de la Computación. Springer Berlín Heidelberg. 1256 : 671–681. doi : 10.1007 / 3-540-63165-8_221 . ISBN 9783540691945.
- ^ Sénizergues, Géraud (2001). "¿L (A) = L (B)? La decidibilidad resulta de sistemas formales completos". Informática Teórica . 251 (1–2): 1–166. doi : 10.1016 / S0304-3975 (00) 00285-1 .