Géraud Sénizergues
गेरौड सेनिज़रग्यूस (जन्म 9 मार्च 1957) बोर्डो विश्वविद्यालय में एक फ्रांसीसी कंप्यूटर वैज्ञानिक हैं। उन्हें स्वचालित सिद्धांत, संयोजन समूह सिद्धांत और अमूर्त पुनर्लेखन प्रणालियों में उनके योगदान के लिए जाना जाता है। उन्होंने 1987 में जीन-मिशेल ऑटेबर्ट के निर्देशन में पेरिस डिडेरोट विश्वविद्यालय (पेरिस 7) से पीएचडी (डॉक्टरेट डी 'एटैट एन इन्फॉर्मेटिक) प्राप्त की। यूरी मटियासेविच के साथ उन्होंने पोस्ट पत्राचार समस्या के बारे में परिणाम प्राप्त किए। उन्होंने 2002 का गोडेल पुरस्कार "यह साबित करने के लिए जीता कि नियतात्मक पुशडाउन ऑटोमेटा की समानता निर्णायक है।" 2003 में उन्हें गे-लुसाक हम्बोल्ट पुरस्कार से सम्मानित किया गया था। संदर्भ बाहरी लिंक होमपेज जीवित लोग फ्रांसीसी कंप्यूटर वैज्ञानिक बोर्डो विश्वविद्यालय के अकादमिक कर्मचारी गोडेल पुरस्कार विजेताओं ने 1957 में जन्म लिया