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 (LaBRI). 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

mentions légales Wikipédia
logo wikimediapolitique de confidentialité à propos de Wikipédia avertissements contacts logo wikimedia faire un don

Géraud Sénizergues . Wikipédia


Géraud Sénizergues est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI). Récipiendaire du Prix Gödel en 2002 pour avoir...

Géraud Sénizergues


Géraud Sénizergues. Géraud Sénizergues . Wikipédia a:lang(ar),a:lang(ckb),a:lang(fa),a:lang(kk-arab),a:lang(mzn),a:lang(ps),a:lang(ur){text-decoration:none}a.new,#quickbar a.new{color:#ba0000}...

G.SÉNIZERGUES


Géraud Sénizergues. Recherche/Research:. Automates et langages formels/ Automata and formal languages; Thème Langages Formels du LaBRI . Groupe de travail LANFOR de l'AFIT. Recent publications...
Plus d'infos Sur le web

  • Géraud Sénizergues est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique ...
    1 Kio (101 mots) - 16 mars 2013 à 12:17

  • Géraud Sénizergues a prouvé, en 2001, que l'équivalence de deux automates à pile déterministes est décidable. Ce problème était ouvert ...
    16 Kio (2124 mots) - 14 mars 2013 à 03:24

  • 2002 - Géraud Sénizergues , pour avoir démontré la décidabilité de l'égalité de deux langages reconnus par des automates à piles ...
    15 Kio (1958 mots) - 8 mai 2013 à 06:49