Damien Doligez
ڈیمین ڈولیج ایک فرانسیسی تعلیمی ماہر اور پروگرامر ہیں۔ وہ او سی اے ایم ایل سسٹم، خاص طور پر اس کے کچرا جمع کرنے والے کے ڈویلپر کے طور پر اپنے کردار کے لیے مشہور ہیں۔ وہ فرانسیسی حکومت کے تحقیقی ادارے آئی این آر آئی اے میں ایک تحقیقی سائنسدان (چارج ڈی ریچرچ) ہیں۔ 1990 میں، ڈولیجز اور زیویئر لیرائے نے ایک تیز رفتار، ترتیب وار کچرا جمع کرنے والے کے ساتھ بائٹ کوڈ انٹرپریٹر کی بنیاد پر کیمل (جسے کیمل لائٹ کہا جاتا ہے) کا نفاذ بنایا، اور ہم آہنگی کی حمایت کے ساتھ اسے بڑھانا شروع کیا۔ 1996 میں، ڈولیگیز اس ٹیم کا حصہ تھا جس نے او سی اے ایم ایل کا پہلا ورژن بنایا تھا، اور اس کے بعد سے (اپریل 2023 تک) زبان کا بنیادی محافظ رہا ہے۔ 1994 میں، ہال فنی نے خفیہ کردہ ایس ایس ایل وی 2 سیشن کو پڑھنے کے لیے سائفر پنک میلنگ پر ایک چیلنج جاری کیا۔ ڈولیج نے 8 دنوں میں آدھی کلیدی جگہ کو اسکین کرنے کے بعد اسے توڑنے کے لیے انریا، ای این ایس اور ایکول پولی ٹیکنک میں اسپیئر کمپیوٹرز کا استعمال کیا۔ وہ مقابلے میں قریب دوسرے نمبر پر آیا، جس میں جیتنے والی ٹیم نے صرف دو گھنٹے قبل اپنے نتائج کا اعلان کیا۔ 2006 سے، ڈولیگیز نے مساوات کے ساتھ فرسٹ آرڈر کلاسک منطق کے لیے زینون تھیوریم کہاوت کو مشترکہ طور پر تیار کیا ہے۔ زینون وہ انجن ہے جو فوکلائز پروگرامنگ ماحول کو چلاتا ہے جو تصدیق شدہ پروگراموں کو ڈیزائن اور تیار کر سکتا ہے۔ ماحول کچھ آبجیکٹ پر مبنی خصوصیات کے ساتھ ایک فعال زبان پر مبنی ہوتا ہے، جس سے پروگرامرز کو اسی ترتیب کے اندر رسمی تفصیلات اور اپنے کوڈ کے ثبوت لکھنے کی اجازت ملتی ہے۔ ثبوت پیدا کرنے میں زینون کا استعمال کرتے ہوئے مدد کی جاتی ہے اور نتائج کو باضابطہ طور پر کوک پروف چیکر کا استعمال کرتے ہوئے مشین سے چیک کیا جاتا ہے۔ 2008 میں، ڈولیجز نے لیسلی لیمپورٹ اور دیگر کے ساتھ مل کر ٹی ایل اے + پروف مینیجر بنانے کے لیے کام کیا جو درجہ بندی کے لحاظ سے تشکیل شدہ کمپیوٹر کی مدد سے ثبوتوں کی اضافی ترقی اور جانچ کی حمایت کرتا ہے۔ پروف منیجر پروجیکٹ 2022 تک فعال طور پر برقرار اور تیار ہے۔ حوالہ جات بیرونی روابط ڈیمین ڈولیگیز کا ہوم پیج کمپیوٹر پروگرامرز فرانسیسی کمپیوٹر سائنسدان زندہ لوگ سال پیدائش لاپتہ (زندہ لوگ) جائے پیدائش لاپتہ (زندہ لوگ)