Sylvie Boldo
சில்வி போல்டோ ஒரு பிரெஞ்சு கணிதவியலாளரும் கணினி விஞ்ஞானியும் ஆவார். அவரது ஆராய்ச்சி தானியங்கி தேற்றம் நிரூபித்தல் மற்றும் கணினி எண்கணிதத்தை ஒருங்கிணைக்கிறது, மிதக்கும்-புள்ளி எண்கணித செயல்பாடுகள் மற்றும் அவற்றின் அடிப்படையில் வழிமுறைகளின் முறையான சரிபார்ப்பில் கவனம் செலுத்துகிறது. அவர் பிரெஞ்சு இன்ஸ்டிடியூட் ஃபார் ரிசர்ச் இன் கம்ப்யூட்டர் சயின்ஸ் அண்ட் ஆட்டோமேஷனின் (ஐ. என். ஆர். ஐ. ஏ) ஆராய்ச்சி இயக்குநராக உள்ளார், பாரிஸ்-சாக்லே பல்கலைக்கழகத்தின் ஃபார்மல் மெத்தட்ஸ் ஆய்வகம் மற்றும் ஐ. என். ஆர். ஐ. ஏ சாக்லே-எல்-டி-பிரான்ஸ் ஆராய்ச்சி மையத்துடன் இணைக்கப்பட்டுள்ளார், அங்கு அவர் முறையாக சரிபார்க்கப்பட்ட திட்டங்கள், சான்றளிக்கப்பட்ட கருவிகள் மற்றும் எண் கணக்கீடுகளுக்கான டோக்காட்டா திட்டத்தை இணை வழிநடத்துகிறார். அவர் கணினி அறிவியலில் பிரெஞ்சு ஏஜென்சியின் நிறுவன நடுவர் குழுவின் தலைவராகவும் உள்ளார். போல்டோ தனது முனைவர் பட்டத்தை 2004 ஆம் ஆண்டில் எகோல் நார்மல் சூப்பரியூர் டி லியோனில் முடித்தார், மேலும் 2005 முதல் ஐ. என். ஆர். ஐ. ஏ சாக்லேவுடன் இணைந்துள்ளார். அவர் 2014 ஆம் ஆண்டில் பாரிஸ்-சுட் பல்கலைக்கழகத்தில் தனது வாழ்வாதாரத்தை நிறைவு செய்தார், வாழ்வாதார ஆய்வறிக்கை டிடக்டிவ் ஃபார்மல் வெரிஃபிகேஷன்ஃ உங்கள் மிதக்கும்-புள்ளி திட்டங்களை எவ்வாறு உருவாக்குவது. 2021 ஆம் ஆண்டில், பிரான்ஸ் கணினி அறிவியலில் ஒரு ஒப்பந்தத்தை வழங்கத் தொடங்கியது, மேலும் போல்டோவை அதன் நடுவர் குழுவின் நிறுவனத் தலைவராகத் தேர்ந்தெடுத்தது. புத்தகங்களின் ஆசிரியர் போல்டோ பின்வருவனவற்றை உள்ளடக்கிய புத்தகங்களின் ஆசிரியர் ஆவார்ஃ கணினி எண்கணிதம் மற்றும் முறையான சான்றுகள்ஃ கோக் அமைப்புடன் மிதக்கும்-புள்ளி வழிமுறைகளை சரிபார்த்தல் (கில்லூம் மெல்கியோன்ட், ஐ. எஸ். டி. இ பிரஸ்/எல்செவியர், 2017 உடன்) யுனே அறிமுகம் லா அறிவியல் தகவல் போர் லெஸ் என்சைனன்ட்ஸ் டி லா டிஸிப்லின் என் லைசி (டோவெக், ஆர்ச்சம்பால்ட், பேசெல்லி, பௌஹினோ, செஜில்ஸ்ஸ்கி, கிளாஸன், கியூசரியன், லோப்ஸ், மவுனியர், நுயென், குவெசெட், ராஸ், ரோசோய், டிம்சிட், வியவில்லே மற்றும் வின்சென்ட், சி. ஆர். டி. பி பாரிஸ், 2011 உடன்) வெளிப்புற இணைப்புகள் முகப்பு பக்கம் காணாமல் போன பிறப்பு ஆண்டு (