Damien Doligez
डेमियन डोलिगेज़ एक फ्रांसीसी शिक्षाविद और प्रोग्रामर हैं। उन्हें ओ. सी. ए. एम. एल. प्रणाली, विशेष रूप से इसके कचरा संग्राहक के विकासकर्ता के रूप में उनकी भूमिका के लिए जाना जाता है। वह फ्रांसीसी सरकारी अनुसंधान संस्थान आई. एन. आर. आई. ए. में एक शोध वैज्ञानिक (चार्ज डी रिसर्च) हैं। 1990 में, डोलिगेज़ और जेवियर लेरॉय ने एक तेज़, क्रमिक कचरा संग्राहक के साथ एक बाइटकोड दुभाषिया के आधार पर कैमल (जिसे कैमल लाइट कहा जाता है) का एक कार्यान्वयन बनाया, और समवर्ती के समर्थन के साथ इसका विस्तार करना शुरू किया। 1996 में, डोलिगेज़ उस टीम का हिस्सा थे जिसने ओ. सी. ए. एम. एल. का पहला संस्करण बनाया था, और तब से (अप्रैल 2023 तक) भाषा का मुख्य संरक्षक रहा है। 1994 में, हेल फिन्नी ने एक एन्क्रिप्टेड एसएसएलवी2 सत्र को पढ़ने के लिए साइफरपंक मेलिंग पर एक चुनौती जारी की। डोलिगेज़ ने 8 दिनों में आधे प्रमुख स्थान को स्कैन करने के बाद इसे तोड़ने के लिए इनरिया, ई. एन. एस. और इकोले पॉलीटेक्निक में अतिरिक्त कंप्यूटरों का उपयोग किया। वह प्रतियोगिता में एक करीबी दूसरे स्थान पर आए, जिसमें विजेता टीम ने अपना परिणाम सिर्फ दो घंटे पहले घोषित किया। 2006 से, डोलिगेज़ ने समानता के साथ प्रथम-क्रम क्लासिक तर्क के लिए ज़ेनॉन प्रमेय कहावत को सह-विकसित किया है। ज़ेनॉन वह इंजन है जो फोकलाइज़ प्रोग्रामिंग वातावरण को चलाता है जो प्रमाणित कार्यक्रमों को डिज़ाइन और विकसित कर सकता है। पर्यावरण कुछ वस्तु-उन्मुख विशेषताओं के साथ एक कार्यात्मक भाषा पर आधारित है, जो प्रोग्रामरों को उसी सेटिंग के भीतर औपचारिक विनिर्देश और अपने कोड के प्रमाण लिखने की अनुमति देता है। प्रूफ जेनरेशन को ज़ेनॉन का उपयोग करके सहायता प्रदान की जाती है और परिणामों को औपचारिक रूप से सी. ओ. क्यू. प्रूफ चेकर का उपयोग करके मशीन से जांचा जाता है। 2008 में, डोलिगेज़ ने लेस्ली लैम्पोर्ट और अन्य लोगों के साथ टी. एल. ए. + प्रूफ मैनेजर बनाने के लिए काम किया जो पदानुक्रमित रूप से संरचित कंप्यूटर-सहायता प्राप्त प्रूफ के वृद्धिशील विकास और जाँच का समर्थन करता है। प्रूफ मैनेजर परियोजना 2022 तक सक्रिय रूप से बनाए रखी और विकसित की गई है। संदर्भ बाहरी लिंक डेमियन डोलिगेज़ का होम पेज कंप्यूटर प्रोग्रामर फ्रांसीसी कंप्यूटर वैज्ञानिक जीवित लोग जन्म का वर्ष लापता (जीवित लोग) जन्म स्थान लापता (जीवित लोग)