Géraud Sénizergues
Encyclopedia
Géraud Sénizergues 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
"
France
The French Republic , The French Republic , The French Republic , (commonly known as France , is a unitary semi-presidential republic in Western Europe with several overseas territories and islands located on other continents and in the Indian, Pacific, and Atlantic oceans. Metropolitan France...
computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
at the University of Bordeaux
University of Bordeaux
University of Bordeaux is an association of higher education institutions in and around Bordeaux, France. Its current incarnation was established 21 March 2007. The group is the largest system of higher education schools in southwestern France. It is part of the Academy of Bordeaux.There are seven...
. He won the 2002 Gödel Prize
Gödel Prize
The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory .The...
"for proving that equivalence of deterministic pushdown automata
Deterministic pushdown automaton
In automata theory, a pushdown automaton is a finite automaton with an additional stack of symbols; its transitions can take the top symbol on the stack and depend on its value, and they can add new top symbols to the stack....
is decidable
Decidability (logic)
In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their set of logically valid formulas can be effectively...
"