He Jifeng
हे जिफेंग (, जन्म अगस्त 1943) एक चीनी कंप्यूटर वैज्ञानिक हैं। जिफेंग ने 1965 में फुदान विश्वविद्यालय के गणित विभाग से स्नातक किया। 1965 से 1985 तक, वे पूर्वी चीन सामान्य विश्वविद्यालय में एक प्रशिक्षक थे। 1980-81 के दौरान, वे संयुक्त राज्य अमेरिका के कैलिफोर्निया में स्टैनफोर्ड विश्वविद्यालय और सैन फ्रांसिस्को विश्वविद्यालय में एक विजिटिंग स्कॉलर थे। 1984 से 1998 तक, हे जिफेंग ऑक्सफोर्ड विश्वविद्यालय कम्प्यूटिंग प्रयोगशाला (अब ऑक्सफोर्ड विश्वविद्यालय कंप्यूटर विज्ञान विभाग) में प्रोग्रामिंग रिसर्च ग्रुप में एक वरिष्ठ शोध साथी थे। उन्होंने कम्प्यूटिंग विज्ञान के औपचारिक पहलुओं पर बड़े पैमाने पर काम किया। विशेष रूप से, उन्होंने प्रो. सर टोनी होर के साथ काम किया, बाद में प्रोग्रामिंग के एकीकृत सिद्धांतों पर, जिसके परिणामस्वरूप उस नाम की एक पुस्तक बनी। 1986 से, हे जिफेंग शंघाई में पूर्वी चीन सामान्य विश्वविद्यालय में कंप्यूटर विज्ञान के प्रोफेसर रहे हैं। 1996 में, वे शंघाई जिओ टोंग विश्वविद्यालय में कंप्यूटर विज्ञान के प्रोफेसर भी बने। 1998 में, वे मकाऊ में स्थित संयुक्त राष्ट्र विश्वविद्यालय के अंतर्राष्ट्रीय सॉफ्टवेयर प्रौद्योगिकी संस्थान (यू. एन. यू.-आई. आई. एस. टी.) में एक वरिष्ठ शोध सहयोगी बन गए। वह 2005 में वापस शंघाई चले गए। जिफेंग के शोध हितों में उच्च विश्वसनीयता के साथ सॉफ्टवेयर और/या हार्डवेयर में उन विनिर्देशों को डिजाइन करने और लागू करने के लिए कंप्यूटर प्रणालियों, संचार, अनुप्रयोगों, मानकों और तकनीकों के विनिर्देश के लिए ध्वनि विधियां शामिल हैं। 2005 में, उन्हें चीनी विज्ञान अकादमी के लिए चुना गया था। 2013 में, उनका 70वां जन्मदिन पूर्वी चीन सामान्य विश्वविद्यालय में कम्प्यूटिंग के सैद्धांतिक पहलुओं पर अंतर्राष्ट्रीय सम्मेलन (आई. सी. टी. ए. सी.) के सहयोग से एक अंतरराष्ट्रीय तीन दिवसीय उत्सव के साथ मनाया गया। दस साल बाद 2023 में, उनका 80वां जन्मदिन शंघाई साइंस हॉल में एक संकर अंतरराष्ट्रीय दो दिवसीय फेस्टस्क्रिफ्ट सिम्पोजियम के साथ मनाया गया। 2019 से, वे शंघाई में तोंगजी विश्वविद्यालय में एक प्रतिष्ठित प्रोफेसर रहे हैं। हे जिफेंग ने कई कंप्यूटर विज्ञान की किताबें लिखी हैं, जिनमें शामिल हैंः हे जिफेंग, प्रोवेबल करेक्ट सिस्टम्सः मॉडलिंग ऑफ कम्युनिकेशन लैंग्वेजेज एंड डिज़ाइन ऑफ ऑप्टिमाइज़्ड कंपाइलर्स। सॉफ्टवेयर में मैकग्रा-हिल अंतर्राष्ट्रीय श्रृंखला, 1995। सी ए आर। होर और हे जिफेंग, प्रोग्रामिंग के एकीकृत सिद्धांत। कंप्यूटर विज्ञान में प्रेंटिस हॉल इंटरनेशनल सीरीज़, 1998. झिमिंग लियू और हे जिफेंग, घटक सॉफ्टवेयर के लिए गणितीय रूपरेखाः विश्लेषण और संश्लेषण के लिए मॉडल। विश्व वैज्ञानिक प्रकाशन कंपनी, घटक-आधारित सॉफ्टवेयर विकास पर श्रृंखला, 2007. संदर्भ बाहरी लिंक शंघाई हुआके झिगु आर्टिफिशियल इंटेलिजेंस रिसर्च इंस्टीट्यूट के नेतृत्व में हे जिफेंग हे जिफेंग ईसीएनयू में होमपेज, 2012 में संग्रहीत 1943 जन्म जीवित लोग चीनी कंप्यूटर वैज्ञानिक चीनी प्रौद्योगिकी लेखक कंप्यूटर विज्ञान लेखक पूर्वी चीन के शैक्षणिक कर्मचारी सामान्य विश्वविद्यालय शंघाई से शिक्षक औपचारिक तरीके लोग फुदान विश्वविद्यालय के पूर्व छात्र कंप्यूटर विज्ञान विभाग, ऑक्सफोर्ड विश्वविद्यालय के चीनी विज्ञान अकादमी के सदस्य शंघाई के अकादमिक कर्मचारी शंघाई जिओ टोंग विश्वविद्यालय के शैक्षणिक कर्मचारी संयुक्त राष्ट्र विश्वविद्यालय के शैक्षणिक कर्मचारी शंघाई से टोंगजी विश्वविद्यालय के लेखक