Géraud Sénizergues - Géraud Sénizergues

Géraud Sénizergues
GS2017.jpg
Sénizergues v září 2017
narozený (1957-03-09) 9. března 1957 (věk 63)
Národnostfrancouzština
Ocenění
Vědecká kariéra
PolePočítačová věda
InstituceUniversity of Bordeaux
webová stránkaodd. info.labri.u-bordeaux.fr/ ~ ges/

Géraud Sénizergues (narozen 9. března 1957) je a francouzština počítačový vědec na University of Bordeaux.

On je známý pro jeho příspěvky k teorie automatů, teorie kombinatorických grup a abstraktní přepisovací systémy.[1]

Dostal svůj Ph.D. (Doctorat d'état en Informatique) z Université Paris Diderot (Paříž 7) v roce 1987 pod vedením Jean-Michel Autebert.[2]

S Jurij Matijasevič získal výsledky o Problém s korespondencí.[3] Vyhrál v roce 2002 Gödelova cena "za prokázání rovnocennosti deterministické posunovací automaty je rozhodnutelné ".[4][5][6] V roce 2003 mu byla udělena Cena Gay-Lussaca Humboldta.

Reference

  1. ^ „DBLP Geraud Senizergues“.
  2. ^ „Projekt matematické genealogie, Geraud Senizergues“.
  3. ^ Matiyasevich, Y .; Senizergues, G. (1996). Msgstr "Problémy s rozhodováním pro systémy s poloviční Thue s několika pravidly". Sborník 11. výroční sympozium IEEE o logice v informatice. New Brunswick, NJ, USA: IEEE Comput. Soc. Tisk: 523–531. doi:10.1109 / LICS.1996.561469. ISBN  9780818674631.
  4. ^ „Cena Gödel 2002“. sigact.org. Citováno 2019-05-10.
  5. ^ Sénizergues, Géraud (1997). Degano, Pierpaolo; Gorrieri, Roberto; Marchetti-Spaccamela, Alberto (eds.). Msgstr "Problém ekvivalence pro deterministické automaty s posunem dolů je rozhodující". Automaty, jazyky a programování. Přednášky z informatiky. Springer Berlin Heidelberg. 1256: 671–681. doi:10.1007/3-540-63165-8_221. ISBN  9783540691945.
  6. ^ Sénizergues, Géraud (2001). "L (A) = L (B)? Rozhodovatelnost vyplývá z úplných formálních systémů". Teoretická informatika. 251 (1–2): 1–166. doi:10.1016 / S0304-3975 (00) 00285-1.

externí odkazy