About Géraud Sénizergues
Born 1957. Géraud Sénizergues is a French computer scientist and researcher.
Géraud Sénizergues (born 9 March 1957) is a French computer scientist at the University of Bordeaux.
He is known for his contributions to automata theory, combinatorial group theory and abstract rewriting systems.
He received his Ph.D. (Doctorat d'état en Informatique) from the Université Paris Diderot (Paris 7) in 1987 under the direction of Jean-Michel Autebert.
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.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
People in Géraud Sénizergues's life
Named in this biography and alive at the same time
Related people
Same field, nearest in time
Contemporaries
People whose lives overlapped Géraud Sénizergues's
Frequently asked questions
Who is Géraud Sénizergues?
French computer scientist
When was Géraud Sénizergues born?
Géraud Sénizergues was born on 9 March 1957 in France.
What is Géraud Sénizergues's occupation?
Géraud Sénizergues is a computer scientist and researcher.
What nationality is Géraud Sénizergues?
Géraud Sénizergues is French.
Sources & further reading
· Wikipedia: Géraud Sénizergues
Cite this page
APA: Biography.guide. (2026). Géraud Sénizergues. https://biography.guide/geraud-senizergues/
MLA: "Géraud Sénizergues." Biography.guide, https://biography.guide/geraud-senizergues/.
Chicago: "Géraud Sénizergues." Biography.guide. https://biography.guide/geraud-senizergues/.
Data last updated: 2026-09-20 · Spot an error? Report a correction.
Page generated 2026-09-27 05:26 UTC