Neil Immerman
नील इम्मरमैन (जन्म 24 नवंबर 1953, मैनहासेट, न्यूयॉर्क) एक अमेरिकी सैद्धांतिक कंप्यूटर वैज्ञानिक हैं, जो मैसाचुसेट्स एमहर्स्ट विश्वविद्यालय में कंप्यूटर विज्ञान के प्रोफेसर हैं। वे वर्णनात्मक जटिलता के प्रमुख विकासकर्ताओं में से एक हैं, एक दृष्टिकोण जिसे वे वर्तमान में मॉडल जाँच, डेटाबेस सिद्धांत और कम्प्यूटेशनल जटिलता सिद्धांत में अनुसंधान के लिए लागू कर रहे हैं। प्रोफेसर इमर्मन एस. आई. ए. एम. जर्नल ऑन कम्प्यूटिंग एंड ऑफ लॉजिकल मेथड्स इन कंप्यूटर साइंस के संपादक हैं। उन्होंने बी. एस. की उपाधि प्राप्त की। और एम. एस. 1974 में येल विश्वविद्यालय से डिग्री और 1980 में कॉर्नेल विश्वविद्यालय से कॉर्नेल में ट्यूरिंग पुरस्कार विजेता ज्यूरिस हार्टमैनिस की देखरेख में उनकी पीएचडी। उनकी पुस्तक डिस्क्रिप्टिव कॉम्प्लेक्सिटी 1999 में प्रकाशित हुई थी। इमर्मन-ज़ेलेप्सेनी प्रमेय के रूप में जाने जाने वाले प्रमाण के लिए सैद्धांतिक कंप्यूटर विज्ञान में 1995 के गोडेल पुरस्कार के लिए रॉबर्ट ज़ेलेप्सेनी के साथ संयुक्त रूप से इमर्मन विजेता हैं, जिसका परिणाम यह है कि गैर-निर्धारक अंतरिक्ष जटिलता वर्ग पूरकता के तहत बंद हैं। इमर्मन एक एसीएम फेलो और एक गुगेनहेम फेलो हैं। संदर्भ बाहरी लिंक यू में इम्मरमैन का होम पेज है। मास. एम्हर्स्ट अमेरिकी कंप्यूटर वैज्ञानिक कॉर्नेल विश्वविद्यालय के पूर्व छात्र संगणकीय मशीनरी संघ के अध्येता गोडेल पुरस्कार विजेता मैसाचुसेट्स विश्वविद्यालय एम्हर्स्ट संकाय जीवित लोग सैद्धांतिक कंप्यूटर वैज्ञानिक मैनहासेट, न्यूयॉर्क के लोग न्यूयॉर्क (राज्य) के वैज्ञानिक 1953 जन्म