From Wikipedia, the free encyclopedia
Géraud Sénizergues (born 1957) is a French computer scientist at the University of Bordeaux. He won the 2002 Gödel Prize "for proving that equivalence of deterministic pushdown automata is decidable"
|This article about a French scientist is a stub. You can help Wikipedia by expanding it.|