Deepak Kapur
દીપક કપૂર (જન્મ 24 ઓગસ્ટ, 1950) યુનિવર્સિટી ઓફ ન્યૂ મેક્સિકોમાં કોમ્પ્યુટર સાયન્સ વિભાગમાં પ્રતિષ્ઠિત પ્રોફેસર છે. કપૂરનો જન્મ અમૃતસર સ્થિત નિમ્ન-મધ્યમ વર્ગના પરિવારમાં થયો હતો, જ્યાં તેમના પિતા નવલ કિશોર કપૂર કપડાના દલાલ હતા; તેમની માતા બિમલા વટી ગૃહિણી હતી. શિક્ષણ કપૂરનું પ્રારંભિક શિક્ષણ અમૃતસરની કટરા ખઝાનાની સરકારી પ્રાથમિક શાળામાં ત્રીજા ધોરણ સુધી રહ્યું હતું. ત્યારબાદ તેમને વિદ્યા ભૂષણ પ્રાથમિક શાળા, અમૃતસરમાં ખસેડવામાં આવ્યા હતા. પાંચમા ધોરણ પછી, તેમણે 11મા ધોરણ સુધી ફરીથી દયાનંદ એંગ્લો વૈદિક (ડી. એ. વી.) ઉચ્ચતર માધ્યમિક શાળામાં શાળા બદલવી પડી. 1966માં ઇન્ડિયન ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી (IIT) ની પ્રવેશ પરીક્ષામાં તેમની પસંદગી થઈ હતી. તેમણે 1971માં IIT, કાનપુરમાંથી ઇલેક્ટ્રિક એન્જિનિયરિંગમાં સ્નાતકની ડિગ્રી (B.Tech) અને M. ટેક મેળવી હતી. મે 1973માં આઈઆઈટી, કાનપુરમાંથી પણ કમ્પ્યુટર સાયન્સમાં ડિગ્રી મેળવી હતી. માર્ચ 1980માં એમઆઇટીમાંથી સ્નાતક થયા પછી, કપૂર જીઇ કોર્પોરેટ રિસર્ચ એન્ડ ડેવલપમેન્ટ (જીઇસીઆરડી), શેનેક્ટેડી, એનવાય ખાતે સંશોધન સ્ટાફ તરીકે જોડાયા, જ્યાં તેમણે ડિસેમ્બર 1987 સુધી કામ કર્યું. જી. ઇ. સી. આર. ડી. માં હતા ત્યારે તેઓ રેન્સસેલેર પોલિટેકનિક ઇન્સ્ટિટ્યૂટ (આર. પી. આઈ.) માં સંલગ્ન પ્રોફેસર હતા, જ્યાં તેમણે શબ્દ પુનર્લેખન પર આધારિત સ્વચાલિત તર્ક પરનો અભ્યાસક્રમ શીખવ્યો હતો. આર. પી. આઈ. ખાતે તેમણે અબ્દેલિલાહ કંડરી-રોડી અને હાન્તાઓ ઝાંગના પીએચ. ડી. નિબંધોની સહ-દેખરેખ પણ કરી હતી. કપૂરને 1988માં અલ્બાની ખાતેની યુનિવર્સિટી, સ્ટેટ યુનિવર્સિટી ઓફ ન્યૂ યોર્ક ખાતે કાર્યકાળ પૂર્ણ પ્રોફેસર તરીકે નિયુક્ત કરવામાં આવ્યા હતા. 1998માં કપૂરને વિશિષ્ટ સંશોધન પુરસ્કાર મળ્યો હતો. કપૂર ડિસેમ્બર 1998માં યુનિવર્સિટી ઓફ ન્યૂ મેક્સિકો (યુ. એન. એમ.) ખાતે કોમ્પ્યુટર સાયન્સ વિભાગના અધ્યક્ષ બન્યા હતા, જે પદ તેમણે જૂન 2006 સુધી સંભાળ્યું હતું. 2007માં કપૂરને યુ. એન. એમ. ખાતે પ્રતિષ્ઠિત પ્રોફેસર બનાવવામાં આવ્યા હતા. મે, 2010માં, કપૂરને યુ. એન. એમ. ની સ્કૂલ ઓફ એન્જિનિયરિંગ દ્વારા સિનિયર ફેકલ્ટી રિસર્ચ એક્સેલન્સ એવોર્ડ એનાયત કરવામાં આવ્યો હતો. કપૂરે મેસેચ્યુસેટ્સ ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી, મેક્સ પ્લેન્ક ઇન્સ્ટિટ્યૂટ ફોર ઇન્ફોર્મેટિક્સ, ટાટા ઇન્સ્ટિટ્યૂટ ઓફ ફંડામેન્ટલ રિસર્ચ, મુંબઈ, ઇન્ડિયન ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજી, દિલ્હી, ઇન્સ્ટિટ્યૂટ ઓફ સોફ્ટવેર (બેઇજિંગ), ચાઇનીઝ એકેડેમી ઓફ સાયન્સિસ (આઈ. એસ. સી. એ. એસ.), ઇન્સ્ટિટ્યૂટ આઇએમડીઇએ સોફ્ટવેર, મેડ્રિડ સહિત અન્ય સંસ્થાઓમાં મુલાકાતી નિમણૂકો કરી છે. કપૂરે જીઇ કોર્પોરેટ રિસર્ચ એન્ડ ડેવલપમેન્ટ, સેન્ડિયા નેશનલ લેબ્સ, વોટસન અને ફુજીત્સુ લેબ્સ ખાતે આઇબીએમ રિસર્ચમાં સલાહકાર તરીકે સેવા આપી છે. કપૂર 1993-2007 માંથી જર્નલ ઓફ ઓટોમેટેડ રિઝનિંગના મુખ્ય સંપાદક હતા. તેમણે જર્નલ ઓફ ઓટોમેટેડ રિઝનિંગ, જર્નલ ઓફ સિમ્બોલિક કમ્પ્યુટેશન, જર્નલ ઓફ લોજિક એન્ડ આલ્જેબ્રા પ્રોગ્રામિંગ, જર્નલ ઓફ એપ્લિકેબલ આલ્જેબ્રા ઇન એન્જિનિયરિંગ, કોમ્યુનિકેશન એન્ડ કમ્પ્યુટિંગ સહિત અનેક સામયિકોના સંપાદકીય મંડળમાં સેવા આપી છે. કપૂરે લીબનીઝ ઇન્ટરનેશનલ પ્રોસિડિંગ્સ ઇન ઇન્ફોર્મેટિક્સના બોર્ડમાં પણ સેવા આપી હતી. કપૂર યુનાઇટેડ નેશન્સ યુનિવર્સિટી-ઇન્ટરનેશનલ ઇન્સ્ટિટ્યૂટ ફોર સોફ્ટવેર ટેકનોલોજી તેમજ યુનાઇટેડ નેશન્સ યુનિવર્સિટી-કમ્પ્યુટિંગ એન્ડ સોસાયટીના બોર્ડ સભ્ય હતા. તેઓ સેન્ડિયા નેશનલ લેબોરેટરીઝની કમ્પ્યુટર સાયન્સ રિસર્ચ ઇન્સ્ટિટ્યૂટ અને લોસ એલામોસ કમ્પ્યુટર સાયન્સ ઇન્સ્ટિટ્યૂટ (એલ. એ. સી. એસ. આઈ.) ના બોર્ડના સભ્ય પણ હતા. કપૂરને 2009 માં હર્બ્રાન્ડ એવોર્ડ મળ્યોઃ રિસર્ચ કપૂરે પ્રોગ્રામિંગ ભાષાઓ, સોફ્ટવેર અને હાર્ડવેર ચકાસણી સહિત ઔપચારિક પદ્ધતિઓ, સ્વચાલિત પ્રમેય પુરાવો, ટર્મ રીરાઈટિંગ, ઇન્ડક્ટિવ પ્રમેય પુરાવો, એકીકરણ સિદ્ધાંત, સ્વચાલિત તર્ક અલ્ગોરિધમ્સની જટિલતા, ભૂમિતિ પ્રમેય પુરાવો, ગ્રોબનર આધાર, પેરામેટ્રિક (વ્યાપક) ગ્રોબનર આધાર, મલ્ટિવેરિયેટ ડિક્સન પરિણામ, અન્ય વિષયોમાં 150 થી વધુ કાગળો પ્રકાશિત કર્યા છે. કપૂરે સોફ્ટવેર ટૂલ રીરાઈટ રૂલ લેબોરેટરી (આરઆરએલ) વિકસાવ્યું, જે શબ્દ પુનર્લેખન અને ક્નુથ-બેન્ડિક્સ પૂર્ણ કરવાની પ્રક્રિયા અને તેના સામાન્યીકરણ પર આધારિત વિશ્વની પ્રથમ પ્રમેય કહેવત છે. આ સિદ્ધાંત કહેવત સમીકરણીય, પ્રથમ ક્રમ અને પ્રેરક તર્કને યાંત્રિક બનાવે છે. જી. ઇ. સી. આર. ડી. ખાતે, કપૂરે જીઓમીટરના વિકાસની રચના અને નેતૃત્વ કર્યું હતું, જે જીઓમેટર અને બીજગણિત તર્ક માટેની પ્રણાલી છે, જે જીઓબેનર આધાર અને પેરામેટ્રિક ગ્રોબેનર આધાર પર આધારિત છે, જે ભૂમિતિ પ્રમેય સાબિત કરવા અને કોમ્પ્યુટર દ્રષ્ટિ માટેના ઉપયોગો માટે છે. અલ્બાની ખાતેની યુનિવર્સિટી, સ્ટેટ યુનિવર્સિટી ઓફ ન્યૂ યોર્ક ખાતે, કપૂરે મુસેર સાથે મળીને આરઆરએલની ટોચ પર અધિક્રમિક પુરાવા વ્યવસ્થાપન માટે હાયપરટેક્સ્ટ આધારિત સિસ્ટમ, ટેક્ટોનના વિકાસનું નેતૃત્વ કર્યું હતું. આ પ્રણાલીઓનો ઉપયોગ હાર્ડવેર ચકાસણી, સ્પષ્ટીકરણ વિશ્લેષણ, ભૌમિતિક મોડેલિંગ અને કમ્પ્યુટર દ્રષ્ટિની એપ્લિકેશનોમાં કરવામાં આવ્યો છે. પસંદ કરેલા પ્રકાશનો સંદર્ભો યુનિવર્સિટી ઓફ ન્યૂ મેક્સિકો ફેકલ્ટી મેસેચ્યુસેટ્સ ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજીના ભૂતપૂર્વ વિદ્યાર્થીઓ IIT કાનપુરના ભૂતપૂર્વ વિદ્યાર્થીઓ ભારતીય કોમ્પ્યુટર વૈજ્ઞાનિકો 1950 જન્મ જીવંત લોકો