He Jifeng
હે જિફેંગ (, જન્મ ઓગસ્ટ 1943) એક ચીની કોમ્પ્યુટર વૈજ્ઞાનિક છે. તેમણે 1965માં ફુદાન યુનિવર્સિટીના ગણિત વિભાગમાંથી સ્નાતકની પદવી મેળવી હતી. 1965 થી 1985 સુધી તેઓ ઇસ્ટ ચાઇના નોર્મલ યુનિવર્સિટીમાં પ્રશિક્ષક હતા. 1980-81 દરમિયાન, તેઓ સ્ટેનફોર્ડ યુનિવર્સિટી અને યુનાઇટેડ સ્ટેટ્સના કેલિફોર્નિયામાં સાન ફ્રાન્સિસ્કો યુનિવર્સિટીમાં મુલાકાતી વિદ્વાન હતા. 1984 થી 1998 સુધી, હે જિફેંગ ઓક્સફર્ડ યુનિવર્સિટી કમ્પ્યુટિંગ લેબોરેટરી (હવે ઓક્સફર્ડ યુનિવર્સિટી ડિપાર્ટમેન્ટ ઓફ કમ્પ્યુટર સાયન્સ) માં પ્રોગ્રામિંગ રિસર્ચ ગ્રૂપમાં વરિષ્ઠ સંશોધન સાથી હતા. તેમણે કમ્પ્યુટિંગ વિજ્ઞાનના ઔપચારિક પાસાઓ પર વ્યાપકપણે કામ કર્યું હતું. ખાસ કરીને, તેમણે પ્રોફેસર સર ટોની હોર સાથે કામ કર્યું હતું, બાદમાં યુનિફાઇંગ થિયરીઝ ઓફ પ્રોગ્રામિંગ પર કામ કર્યું હતું, જેના પરિણામે તે નામનું એક પુસ્તક બહાર આવ્યું હતું. 1986 થી, હે જિફેંગ શાંઘાઈમાં ઇસ્ટ ચાઇના નોર્મલ યુનિવર્સિટીમાં કમ્પ્યુટર સાયન્સના પ્રોફેસર છે. 1996માં તેઓ શાંઘાઈ જિયાઓ ટોંગ યુનિવર્સિટીમાં કોમ્પ્યુટર સાયન્સના પ્રોફેસર પણ બન્યા હતા. 1998માં તેઓ મકાઉ સ્થિત સંયુક્ત રાષ્ટ્ર વિશ્વવિદ્યાલયની ઇન્ટરનેશનલ ઇન્સ્ટિટ્યૂટ ફોર સોફ્ટવેર ટેકનોલોજી (UNU-IIST) માં વરિષ્ઠ સંશોધન સાથી બન્યા હતા. તેઓ 2005માં શાંઘાઈ પાછા ફર્યા હતા. જીફેંગના સંશોધન હિતોમાં કમ્પ્યુટર સિસ્ટમ્સ, સંદેશાવ્યવહાર, એપ્લિકેશનો, ધોરણો અને ઉચ્ચ વિશ્વસનીયતા સાથે સોફ્ટવેર અને/અથવા હાર્ડવેરમાં તે સ્પષ્ટીકરણોની રચના અને અમલીકરણ માટેની તકનીકોના સ્પષ્ટીકરણ માટેની ધ્વનિ પદ્ધતિઓનો સમાવેશ થાય છે. 2005માં તેઓ ચાઇનીઝ એકેડેમી ઓફ સાયન્સમાં ચૂંટાયા હતા. 2013માં, પૂર્વ ચાઇના નોર્મલ યુનિવર્સિટીમાં કોમ્પ્યુટિંગના સૈદ્ધાંતિક પાસાઓ પર આંતરરાષ્ટ્રીય પરિષદ (ICTAC) ના સહયોગથી આંતરરાષ્ટ્રીય ત્રણ દિવસીય ફેસ્ટસ્ક્રિફ્ટ સાથે તેમનો 70મો જન્મદિવસ ઉજવવામાં આવ્યો હતો. દસ વર્ષ પછી 2023માં, તેમનો 80મો જન્મદિવસ શાંઘાઈ સાયન્સ હોલમાં મિશ્ર આંતરરાષ્ટ્રીય બે દિવસીય ફેસ્ટસ્ક્રિફ્ટ સિમ્પોસિયમ સાથે ઉજવવામાં આવ્યો હતો. 2019 થી તેઓ શાંઘાઈની ટોંગજી યુનિવર્સિટીમાં પ્રતિષ્ઠિત પ્રોફેસર છે. હે જિફેંગે સંખ્યાબંધ કોમ્પ્યુટર વિજ્ઞાનના પુસ્તકો લખ્યા છે, જેમાં હે જિફેંગ, પ્રોવેબીલી કરેક્ટ સિસ્ટમ્સઃ મોડેલિંગ ઓફ કોમ્યુનિકેશન લેંગ્વેજીઝ એન્ડ ડિઝાઇન ઓફ ઓપ્ટિમાઇઝ્ડ કમ્પાઇલર્સનો સમાવેશ થાય છે. મેકગ્રો-હિલ ઇન્ટરનેશનલ સિરીઝ ઇન સોફ્ટવેર, 1995. એ. આર. હોર અને હે જિફેંગ, યુનિફાઇડ થિયરીઝ ઓફ પ્રોગ્રામિંગ. કમ્પ્યુટર સાયન્સમાં પ્રેન્ટિસ હોલ ઇન્ટરનેશનલ સિરીઝ, 1998. ઝિમિંગ લિયુ અને હે જિફેંગ, કોમ્પોનન્ટ સોફ્ટવેર માટે મેથેમેટિકલ ફ્રેમવર્કઃ વિશ્લેષણ અને સંશ્લેષણ માટેના નમૂનાઓ. વર્લ્ડ સાયન્ટિફિક પબ્લિશિંગ કંપની, કમ્પોનન્ટ-બેઝ્ડ સોફ્ટવેર ડેવલપમેન્ટ પર શ્રેણી, 2007. સંદર્ભો બાહ્ય કડીઓ શાંઘાઈ હુઆકે ઝિગુ આર્ટિફિશિયલ ઇન્ટેલિજન્સ રિસર્ચ ઇન્સ્ટિટ્યૂટની આગેવાનીમાં હે જિફેંગ હે જિફેંગનું ઇસીએનયુ ખાતે હોમપેજ, 2012માં સંગ્રહિત જન્મ 1943 જીવંત લોકો ચીની કમ્પ્યુટર વૈજ્ઞાનિકો ચીની તકનીકી લેખકો કમ્પ્યુટર વિજ્ઞાન લેખકો પૂર્વ ચીન નોર્મલ યુનિવર્સિટીના શૈક્ષણિક સ્ટાફ શાંઘાઈના શિક્ષકો ઔપચારિક પદ્ધતિઓ લોકો ફુદાન યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ કમ્પ્યુટર વિજ્ઞાન વિભાગના સભ્યો, ઓક્સફર્ડ યુનિવર્સિટીના ચાઇનીઝ એકેડેમી ઓફ સાયન્સના સભ્યો શાંઘાઈના શૈક્ષણિક સ્ટાફમાંથી શાંઘાઈ જિયાઓ ટોંગ યુનિવર્સિટીના શૈક્ષણિક સ્ટાફ સંયુક્ત રાષ્ટ્ર યુનિવર્સિટીના શૈક્ષણિક સ્ટાફ શાંઘાઈના ટોંગજી યુનિવર્સિટીના લેખકો