Damien Doligez
ডেমিয়েন ডোলিগেজ একজন ফরাসি শিক্ষাবিদ এবং প্রোগ্রামার। তিনি ওসিএএমএল ব্যবস্থার বিকাশকারী, বিশেষত এর আবর্জনা সংগ্রাহক হিসাবে তাঁর ভূমিকার জন্য সবচেয়ে বেশি পরিচিত। তিনি ফরাসি সরকারি গবেষণা প্রতিষ্ঠান আই. এন. আর. আই. এ-র একজন গবেষণা বিজ্ঞানী। 1990 সালে, ডোলিগেজ এবং জেভিয়ার লেরয় একটি দ্রুত, ক্রমিক আবর্জনা সংগ্রাহক সহ একটি বাইটকোড ইন্টারপ্রেটারের উপর ভিত্তি করে ক্যামল (ক্যামল লাইট নামে পরিচিত)-এর একটি বাস্তবায়ন তৈরি করেছিলেন এবং সমান্তরালতার সমর্থনে এটি প্রসারিত করতে শুরু করেছিলেন। 1996 সালে, ডোলিগেজ সেই দলের অংশ ছিলেন যারা ওসিএএমএল-এর প্রথম সংস্করণ তৈরি করেছিল এবং তারপর থেকে (2023 সালের এপ্রিল পর্যন্ত) ভাষার মূল রক্ষণাবেক্ষণকারী। 1994 সালে, হ্যাল ফিন্নি একটি এনক্রিপ্ট করা এসএসএলভি2 সেশন পড়ার জন্য সাইফারপাঙ্ক মেলিং-এ একটি চ্যালেঞ্জ জারি করেন। ডোলিগেজ ইন্রিয়া, ইএনএস এবং ইকোল পলিটেকনিকের অতিরিক্ত কম্পিউটার ব্যবহার করে 8 দিনের মধ্যে অর্ধেক মূল স্থান স্ক্যান করার পরে এটি ভেঙে ফেলেন। তিনি প্রতিযোগিতায় দ্বিতীয় স্থানে এসেছিলেন, বিজয়ী দল মাত্র দুই ঘন্টা আগে তাদের ফলাফল ঘোষণা করেছিল। 2006 সাল থেকে, ডোলিগেজ সমতার সাথে প্রথম-ক্রমের ক্লাসিক লজিকের জন্য জেনন উপপাদ্য প্রবাদটি সহ-বিকাশ করেছেন। জেনন হল সেই ইঞ্জিন যা ফোকালাইজ প্রোগ্রামিং পরিবেশকে চালিত করে যা প্রত্যয়িত প্রোগ্রামগুলি ডিজাইন এবং বিকাশ করতে পারে। পরিবেশটি কিছু অবজেক্ট-ওরিয়েন্টেড বৈশিষ্ট্য সহ একটি কার্যকরী ভাষার উপর ভিত্তি করে, যা প্রোগ্রামারদের একই সেটিং-এর মধ্যে আনুষ্ঠানিক নির্দিষ্টকরণ এবং তাদের কোডের প্রমাণ লিখতে দেয়। প্রুফ জেনারেশন জেনন ব্যবহার করে সহায়তা করা হয় এবং ফলাফলগুলি আনুষ্ঠানিকভাবে কোক প্রুফ চেকার ব্যবহার করে মেশিন চেক করা হয়। 2008 সালে, ডোলিগেজ লেসলি ল্যাম্পোর্ট এবং অন্যদের সাথে টি. এল. এ + প্রুফ ম্যানেজার তৈরি করার জন্য কাজ করেছিলেন যা ক্রমবর্ধমান উন্নয়ন এবং শ্রেণিবদ্ধভাবে কাঠামোগত কম্পিউটার-সহায়ক প্রুফগুলির চেকিংকে সমর্থন করে। প্রুফ ম্যানেজার প্রকল্পটি 2022 সাল পর্যন্ত সক্রিয়ভাবে রক্ষণাবেক্ষণ এবং উন্নত রয়েছে। তথ্যসূত্র বাইরের লিঙ্ক ডেমিয়েন ডোলিজেজের হোম পেজ কম্পিউটার প্রোগ্রামার ফরাসি কম্পিউটার বিজ্ঞানীরা জীবিত মানুষ জন্মের বছর নিখোঁজ (জীবিত মানুষ) জন্মস্থান নিখোঁজ (জীবিত মানুষ)