Neil Immerman
નીલ ઇમ્મરમેન (જન્મ 24 નવેમ્બર 1953, મેનહાસેટ, ન્યૂ યોર્ક) એક અમેરિકન સૈદ્ધાંતિક કમ્પ્યુટર વૈજ્ઞાનિક છે, જે યુનિવર્સિટી ઓફ મેસેચ્યુસેટ્સ એમ્હર્સ્ટમાં કમ્પ્યુટર વિજ્ઞાનના પ્રોફેસર છે. તેઓ વર્ણનાત્મક જટિલતાના મુખ્ય વિકાસકર્તાઓમાંના એક છે, જે અભિગમ તેઓ હાલમાં મોડેલ ચેકિંગ, ડેટાબેઝ થિયરી અને કોમ્પ્યુટેશનલ કોમ્પ્લેક્સિટી થિયરીમાં સંશોધન માટે લાગુ કરી રહ્યા છે. પ્રોફેસર ઇમર્મન કમ્પ્યુટર સાયન્સમાં કોમ્પ્યુટિંગ અને લોજિકલ પદ્ધતિઓ પર SIAM જર્નલના સંપાદક છે. તેમણે બી. એસ. ની પદવી મેળવી હતી. અને એમ. એસ. 1974 માં યેલ યુનિવર્સિટીમાંથી ડિગ્રી અને 1980 માં કોર્નેલ યુનિવર્સિટીમાંથી તેમની પીએચ. ડી. કોર્નેલ ખાતે ટ્યુરિંગ એવોર્ડ વિજેતા જ્યુરિસ હાર્ટમેનિસની દેખરેખ હેઠળ. તેમનું પુસ્તક વર્ણનાત્મક જટિલતા 1999માં પ્રકાશિત થયું હતું. ઇમ્મરમેન-ઝેલિપ્સની પ્રમેય તરીકે ઓળખાય છે તેના પુરાવા માટે સૈદ્ધાંતિક કોમ્પ્યુટર વિજ્ઞાનમાં 1995ના ગોડેલ પુરસ્કાર માટે રોબર્ટ ઝેલિપ્સની સાથે સંયુક્ત રીતે ઇમ્મરમેન વિજેતા છે, પરિણામે બિનનિર્ધારિત અવકાશ જટિલતા વર્ગો પૂરકતા હેઠળ બંધ કરવામાં આવે છે. ઇમર્મન એસીએમ ફેલો અને ગુગેનહેમ ફેલો છે. સંદર્ભો બાહ્ય લિંક્સ ઇમ્મરમેનનું હોમ પેજ યુ. માસ. એમ્હર્સ્ટ અમેરિકન કોમ્પ્યુટર વૈજ્ઞાનિકો કોર્નેલ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ એસોસીએશન ફોર કમ્પ્યુટિંગ મશીનરી ગોડેલ પુરસ્કાર વિજેતાઓ યુનિવર્સિટી ઓફ મેસેચ્યુસેટ્સ એમ્હર્સ્ટ ફેકલ્ટી જીવંત લોકો સૈદ્ધાંતિક કોમ્પ્યુટર વૈજ્ઞાનિકો મેનહાસેટના લોકો, ન્યૂ યોર્કના વૈજ્ઞાનિકો (રાજ્ય) 1953 જન્મ