Damien Doligez
ડેમિયન ડોલિગેઝ એક ફ્રેન્ચ શૈક્ષણિક અને પ્રોગ્રામર છે. તેઓ ઓ. સી. એ. એમ. એલ. પ્રણાલીના વિકાસકર્તા, ખાસ કરીને તેના કચરો સંગ્રહક તરીકેની તેમની ભૂમિકા માટે જાણીતા છે. તેઓ ફ્રાન્સની સરકારી સંશોધન સંસ્થા આઈ. એન. આર. આઈ. એ. માં સંશોધન વૈજ્ઞાનિક (ચાર્જ ડી રિસર્ચ) છે. પ્રવૃત્તિઓ 1990માં, ડોલિગેઝ અને ઝેવિયર લેરોયએ ઝડપી, ક્રમિક કચરો સંગ્રહ કરનાર સાથે બાઈટકોડ દુભાષિયા પર આધારિત કેમલ (કેમલ લાઇટ તરીકે ઓળખાતું) નું અમલીકરણ બનાવ્યું અને તેને સમવર્તી ચલણના સમર્થન સાથે વિસ્તારવાનું શરૂ કર્યું. 1996માં, ડોલિગેઝ તે ટીમનો ભાગ હતો જેણે ઓસીએએમએલનું પ્રથમ સંસ્કરણ બનાવ્યું હતું, અને ત્યારથી (એપ્રિલ 2023 સુધીમાં) તે ભાષાનું મુખ્ય જાળવણીકાર રહ્યું છે. 1994માં, હેલ ફિન્નીએ એન્ક્રિપ્ટેડ એસએસએલવી2 સત્ર વાંચવા માટે સાયફરપંક મેઇલિંગ પર પડકાર ફેંક્યો હતો. ડોલિગેઝે 8 દિવસમાં અડધી કી જગ્યાને સ્કેન કર્યા પછી તેને તોડવા માટે ઇનરિયા, ઇએનએસ અને ઇકોલ પોલિટેકનિક ખાતે ફાજલ કમ્પ્યુટરનો ઉપયોગ કર્યો હતો. તે સ્પર્ધામાં બીજા ક્રમે આવ્યો હતો, જેમાં વિજેતા ટીમે માત્ર બે કલાક અગાઉ તેનું પરિણામ જાહેર કર્યું હતું. 2006 થી, ડોલિગેઝે સમાનતા સાથે પ્રથમ ક્રમના ક્લાસિક તર્ક માટે ઝેનોન પ્રમેય કહેવતનો સહ-વિકાસ કર્યો છે. ઝેનોન એ એન્જિન છે જે ફોકલાઇઝ પ્રોગ્રામિંગ વાતાવરણને ચલાવે છે જે પ્રમાણિત પ્રોગ્રામ્સની રચના અને વિકાસ કરી શકે છે. પર્યાવરણ કેટલીક ઓબ્જેક્ટ-ઓરિએન્ટેડ સુવિધાઓ સાથે કાર્યાત્મક ભાષા પર આધારિત છે, જે પ્રોગ્રામરોને સમાન સેટિંગમાં ઔપચારિક સ્પષ્ટીકરણ અને તેમના કોડના પુરાવા લખવાની મંજૂરી આપે છે. પ્રૂફ જનરેશનને ઝેનોનનો ઉપયોગ કરીને મદદ કરવામાં આવે છે અને પરિણામોને ઔપચારિક રીતે કોક પ્રૂફ ચેકરનો ઉપયોગ કરીને મશીન દ્વારા તપાસવામાં આવે છે. 2008 માં, ડોલિગેઝે લેસ્લી લેમ્પોર્ટ અને અન્ય લોકો સાથે ટી. એલ. એ. + પ્રૂફ મેનેજર બનાવવા માટે કામ કર્યું હતું, જે ક્રમિક રીતે સંરચિત કમ્પ્યુટર-સહાયિત સાબિતીઓના વૃદ્ધિશીલ વિકાસ અને તપાસને ટેકો આપે છે. પ્રૂફ મેનેજર પ્રોજેક્ટ 2022 સુધીમાં સક્રિય રીતે જાળવવામાં અને વિકસાવવામાં આવ્યો છે. સંદર્ભો બાહ્ય કડીઓ ડેમિયન ડોલિગેઝનું હોમ પેજ કોમ્પ્યુટર પ્રોગ્રામર્સ ફ્રેન્ચ કોમ્પ્યુટર વૈજ્ઞાનિકો જીવંત લોકો જન્મ વર્ષ ગુમ થયેલ (જીવંત લોકો) જન્મ સ્થળ ગુમ થયેલ (જીવંત લોકો)