Géraud Sénizergues
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"[1]
References
External links
| ||||||
|
This article is issued from Wikipedia - version of the Monday, April 27, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.