Sylvie Boldo
سلوی بولڈو ایک فرانسیسی ریاضی دان اور کمپیوٹر سائنسدان ہے۔ اس کی تحقیق خودکار تھیوریم ثابت کرنے اور کمپیوٹر ریاضی کو یکجا کرتی ہے، جس میں فلوٹنگ پوائنٹ ریاضی کی کارروائیوں اور ان پر مبنی الگورتھم کی رسمی تصدیق پر توجہ دی جاتی ہے۔ وہ فرانسیسی انسٹی ٹیوٹ فار ریسرچ ان کمپیوٹر سائنس اینڈ آٹومیشن (آئی این آر آئی اے) کے لیے ریسرچ کی ڈائریکٹر ہیں، جو پیرس-سکلے یونیورسٹی میں رسمی طریقوں کی لیبارٹری اور آئی این آر آئی اے سکلے-ایل-ڈی-فرانس ریسرچ سینٹر سے وابستہ ہیں، جہاں وہ باضابطہ طور پر تصدیق شدہ پروگراموں، مصدقہ ٹولز اور عددی کمپیوٹیشن کے لیے ٹوکاٹا پروجیکٹ کی مشترکہ قیادت کرتی ہیں۔ وہ کمپیوٹر سائنس میں فرانسیسی ایگریگیشن کی بانی جیوری صدر بھی ہیں۔ تعلیم اور کیریئر بولڈو نے اپنی پی ایچ ڈی مکمل کی۔ 2004 میں ایکول نارمل سپریئر ڈی لیون میں، اور 2005 سے آئی این آر آئی اے سکلے سے وابستہ ہے۔ اس نے 2014 میں پیرس سد یونیورسٹی میں رہائش کا مقالہ ڈیڈکٹیو فارمل ویریفکیشن: ہاؤ ٹو میک یور فلوٹنگ پوائنٹ پروگرامز بیہوے کے ساتھ اپنی رہائش مکمل کی۔ 2021 میں، فرانس نے کمپیوٹر سائنس میں زراعت کی پیشکش شروع کی، اور بولڈو کو اپنی جیوری کے بانی صدر کے طور پر منتخب کیا۔ بولڈو ان کتابوں کے مصنف ہیں جن میں شامل ہیں: کمپیوٹر ریاضی اور رسمی ثبوت: کوک سسٹم کے ساتھ فلوٹنگ پوائنٹ الگورتھم کی تصدیق (گیلوم میلکیونڈ، آئی ایس ٹی ای پریس/ایلسیویئر، 2017 کے ساتھ) یونی انٹروڈکشن ا لا سائنس انفارمیٹک پور لیس اینسیگنینٹس ڈی لا ڈسپلن این لائسی (ڈوک، آرکیمبولٹ، بیسلی، بوہینو، سیجیلسکی، کلاسن، گیسیرین، لوپس، مونیئر، نگوین، کوئسیٹ، راسے، روزائے، ٹمسٹ، ویویل، اور ونسنٹ، سی آر ڈی پی پیرس، 2011 کے ساتھ) حوالہ جات بیرونی لنکس ہوم پیج سال پیدائش لاپتہ (