Géraud Sénizergues
- Géraud Sénizergues
-
Géraud Sénizergues est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique. Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l'égalité des langages reconnus par des automates à pile déterministes, il a obtenu le Prix Humboldt en 2003.
Liens externes
|
|
| Lauréats |
2010 : Sanjeev Aror (en), László Lovász, Joseph Mitchell (en) • 2009 : Omer Reingold (en), Salil Vadhan (en), Avi Wigderson • 2008 : Shanghua Teng (en), Daniel Spielman • 2007 : Alexander Razborov, Steven Rudich (en) • 2006 : Manindra Agrawal, Neeraj Kayal (en), Nitin Saxena (en) • 2005 : Noga Alon (en), Yossi Matias, Mario Szegedy • 2004 : Maurice Herlihy (en), Michael Saks (en), Nir Shavit (en), Fotios Zaharoglou • 2003 : Yoav Freund (en), Robert Schapire (en) • 2002 : Géraud Sénizergues • 2001 : Sanjeev Arora (en), Uriel Feige (en), Shafi Goldwasser (en), Carsten Lund (en), László Lovász, Rajeev Motwani (en), Shmuel Safra (en), Madhu Sudan, Mario Szegedy • 2000 : Moshe Vardi, Pierre Wolper • 1999 : Peter Shor • 1998 : Seinosuke Toda (en) • 1997 : Joseph Halpern (en), Yoram Moses (en) • 1996 : Mark Jerrum (en), Alistair Sinclair (en) • 1995 : Neil Immerman (en), Róbert Szelepcsényi (en) • 1994 : Johan Håstad •
1993 : László Babai, Shafi Goldwasser (en), Silvio Micali (en), Shlomo Moran (en) et Charles Rackoff (en)
|
Catégories :
- Personnalité française en informatique
- Personnalité en informatique théorique
- Lauréat du Prix Gay-Lussac Humboldt
- Lauréat du prix Gödel
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Géraud Sénizergues de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Automate à pile — Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates. Un automate à pile est une généralisation des automates finis: il dispose en plus d une mémoire infinie organisée en… … Wikipédia en Français
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. A deterministic… … Wikipedia
Prix Godel — Prix Gödel Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et… … Wikipédia en Français
Prix Gödel — Nommé en l honneur du logicien Kurt Gödel, le prix Gödel a été créé en 1992 par l European Association for Theoretical Computer Science (EATCS), l Association for Computing Machinery (ACM) et le groupe de l ACM sur l algorithmique et la théorie… … Wikipédia en Français
Премия Гёделя — (англ. Gödel Prize) премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT (Special Interest Group on Algorithms and Computation Theory) и EATCS (European Association for… … Википедия
Yuri Matiyasevich — Born March 2, 1947 (1947 03 02) (age 64) Leningra … Wikipedia
Juri Matijassewitsch — Juri Wladimirowitsch Matijassewitsch Juri Wladimirowitsch Matijassewitsch (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Sankt Petersburg) ist ein russischer Mathematiker und… … Deutsch Wikipedia
Juri Wladimirowitsch Matijassewitsch — (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Leningrad) ist ein russischer Mathematiker und Inform … Deutsch Wikipedia
Matijassewitsch — Juri Wladimirowitsch Matijassewitsch Juri Wladimirowitsch Matijassewitsch (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Sankt Petersburg) ist ein russischer Mathematiker und… … Deutsch Wikipedia
Post'sches Korrespondenzproblem — Das Postsche Korrespondenzproblem (nach Emil Leon Post, abgekürzt auch PKP oder englisch PCP) ist ein Beispiel für ein unentscheidbares Problem in der Theoretischen Informatik. Es wird häufig verwendet, um mittels Reduktion die Unentscheidbarkeit … Deutsch Wikipedia
