Géraud Sénizergues (born 1957) is a French computer scientist at the University of Bordeaux. With Yuri Matiyasevich he obtained results about the Post correspondence problem. He won the 2002 Gödel Prize "for proving that equivalence of deterministic pushdown automata is decidable" . In 2003 he was awarded with the Gay-Lussac-Humboldt-Prize.
- Matyasevich, Senizergues: Decision Problems for Semi-Thue Systems with a few Rules. In: Proc. 11th Symp. Logic in Computer Science. Springer, 1996, S. 523–531
- "ACM SIGACT: Prizes: Gödel".
- Senizergues The equivalence of deterministic push-down automata is decidable, Lecture Notes in Computer Science 1256, Springer Verlag 1997, S. 671–681
- Senizergues: L(A) = L(B)? decidability results from complete formal systems, Theor. Comput. Science, Band 251, 2001, S. 1–166
|This article about a French scientist is a stub. You can help Wikipedia by expanding it.|