Natarajan Shankar
नटराजन शंकर कैलिफोर्निया के मेनलो पार्क में एस. आर. आई. इंटरनेशनल में काम करने वाले एक कंप्यूटर वैज्ञानिक हैं, जहाँ वे प्रतीकात्मक विश्लेषण प्रयोगशाला का नेतृत्व करते हैं। शिक्षा शंकर ने 1986 में ऑस्टिन में टेक्सास विश्वविद्यालय से सलाहकार रॉबर्ट एस. बोयर और जे. स्ट्रोथर मूर के तहत कंप्यूटर विज्ञान में पीएचडी की डिग्री प्राप्त की। उनकी पी. एच. डी. थीसिस 1994 में कैम्ब्रिज यूनिवर्सिटी प्रेस द्वारा "मेटामेथेमैटिक्स, मशीन्स एंड गोएडेल्स प्रूफ" पुस्तक के रूप में प्रकाशित की गई थी। करियर शंकर ने शुरू में 1986 से 1988 तक स्टैनफोर्ड विश्वविद्यालय में एक शोध सहयोगी के रूप में कार्य किया। 1989 में, वे एस. आर. आई. इंटरनेशनल की कंप्यूटर विज्ञान प्रयोगशाला में शामिल हुए। एस. आर. आई. में रहते हुए, उन्होंने बोयर-मूर प्रमेय कहावत का उपयोग मेटाथियोरम जैसे कि टाउटोलॉजी प्रमेय, गोडेल की अपूर्णता प्रमेय और चर्च-रॉसर प्रमेय को साबित करने के लिए किया है। उन्होंने प्रोटोटाइप सत्यापन प्रणाली सहित स्वचालित तर्क प्रौद्योगिकी, डिडक्टिव सिस्टम और कम्प्यूटेशनल इंजन के विकास में योगदान दिया है। 2009 में उन्हें एस. आर. आई. फेलो नामित किया गया था। फेलोशिप असाधारण कर्मचारी सदस्यों को विज्ञान में उनके उत्कृष्ट योगदान के लिए मान्यता देती है। एस. आर. आई. में कंप्यूटर विज्ञान प्रयोगशाला में अन्य एस. आर. आई अध्येता पीटर जी. न्यूमैन, जॉन रशबी, पैट्रिक लिंकन और कैरोलिन टैल्कॉट हैं। ।