Géraud Sénizergues
Geraud senizergues ( b. 1957 ) is a French computer scientist. He is a professor at the University of Bordeaux at the local laboratory for computer science ( LAbri ).
For his proof of the equivalence problem ( Decidability of equivalence ) deterministic pushdown automaton (push -down automata) he was awarded the Gödel Prize in 2002. In 2003 he received the Gay - Lussac- Humboldt Prize.
With Yuri Matiyasevich scoring results to: Post 's correspondence problem.