Géraud Sénizergues

Géraud Sénizergues
Sénizergues i september 2017
Född	( 1957-03-09 ) 9 mars 1957
Nationalitet	franska
Utmärkelser	Gödelpriset (2002) Gay-Lussac Humboldt-priset (2003)
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	Universitetet i Bordeaux
Hemsida	avd-info .labri .u-bordeaux .fr /~ges /

Géraud Sénizergues (född 9 mars 1957) är en fransk datavetare vid universitetet i Bordeaux .

Han är känd för sina bidrag till automatteori , kombinatorisk gruppteori och abstrakta omskrivningssystem .

Han fick sin Ph.D. (Doctorat d'état en Informatique) från Université Paris Diderot (Paris 7) 1987 under ledning av Jean-Michel Autebert.

Med Yuri Matiyasevich fick han resultat om postkorrespondensproblemet . Han vann Gödelpriset 2002 "för att bevisa att likvärdighet mellan deterministiska pushdown-automater är avgörbar ". 2003 belönades han med Gay-Lussac Humboldt-priset .

externa länkar

• Hemsida
• Géraud Sénizergues vid Mathematics Genealogy Project