Sylvie Boldo
সিলভি বোল্ডো একজন ফরাসি গণিতবিদ এবং কম্পিউটার বিজ্ঞানী। তাঁর গবেষণা স্বয়ংক্রিয় উপপাদ্য প্রমাণ এবং কম্পিউটার গাণিতিককে একত্রিত করে, ভাসমান-বিন্দু গাণিতিক ক্রিয়াকলাপ এবং তাদের উপর ভিত্তি করে অ্যালগরিদমগুলির আনুষ্ঠানিক যাচাইকরণের উপর দৃষ্টি নিবদ্ধ করে। তিনি ফরাসি ইনস্টিটিউট ফর রিসার্চ ইন কম্পিউটার সায়েন্স অ্যান্ড অটোমেশনের (আইএনআরআইএ) গবেষণার পরিচালক, প্যারিস-স্যাকলে বিশ্ববিদ্যালয়ের ফরমাল মেথডস ল্যাবরেটরি এবং আইএনআরআইএ স্যাক্লে-ইলে-ডি-ফ্রান্স রিসার্চ সেন্টারের সাথে যুক্ত, যেখানে তিনি আনুষ্ঠানিকভাবে যাচাইকৃত প্রোগ্রাম, প্রত্যয়িত সরঞ্জাম এবং সংখ্যাসূচক গণনার জন্য টোক্কাটা প্রকল্পের সহ-নেতৃত্ব দেন। তিনি কম্পিউটার বিজ্ঞানে ফরাসি কৃষির প্রতিষ্ঠাতা জুরি সভাপতিও। শিক্ষা ও কর্মজীবনে বোল্ডো 2004 সালে ইকোলে নর্মাল সুপারেরিওর ডি লিয়নে তার পিএইচডি সম্পন্ন করেন এবং 2005 সাল থেকে আইএনআরআইএ স্যাকলে-এর সাথে যুক্ত রয়েছেন। তিনি 2014 সালে প্যারিস-সুদ বিশ্ববিদ্যালয়ে হ্যাবিলিটেশন থিসিস ডিডাক্টিভ ফরমাল ভেরিফিকেশনঃ হাউ টু মেক ইওর ফ্লোটিং-পয়েন্ট প্রোগ্রামস বিহেভ দিয়ে তার হ্যাবিলিটেশন সম্পন্ন করেন। 2021 সালে, ফ্রান্স কম্পিউটার বিজ্ঞানে একটি অগ্রগতির প্রস্তাব দেওয়া শুরু করে এবং বোল্ডোকে তার জুরির প্রতিষ্ঠাতা সভাপতি হিসাবে নির্বাচিত করে। বইগুলির লেখক হলেন বোল্ডোঃ কম্পিউটার গাণিতিক এবং আনুষ্ঠানিক প্রমাণঃ কোক সিস্টেমের সাথে ভাসমান-বিন্দু অ্যালগরিদম যাচাই করা (গুইলাউম মেলকুইওন্ড, আই. এস. টি. ই প্রেস/এলসেভিয়ার, 2017 সহ) ইউনে ভূমিকা আ লা সায়েন্স ইনফরম্যাটিক পোর লেস এনসেইগন্যান্টস দে লা ডিসিপ্লিন এন লাইসি (ডোয়েক, আর্কাম্বল্ট, ব্যাচেল্লি, বোহিনৌ, সেজিলস্কি, ক্লাউসেন, গুসারিয়ান, লোপস, মৌনিয়ার, গুয়েন, কোয়েসেট, রাস, রোজয়, টিমসিট, ভিয়েভিল এবং ভিনসেন্ট, সি. আর. ডি. পি প্যারিস, 2011 সহ) রেফারেন্স বাহ্যিক লিঙ্ক হোম পেজ জন্মের বছর অনুপস্থিত (