Sylvie Boldo
સિલ્વી બોલ્ડો ફ્રેન્ચ ગણિતશાસ્ત્રી અને કોમ્પ્યુટર વૈજ્ઞાનિક છે. તેમનું સંશોધન ઓટોમેટેડ થીયરમ પ્રૂવિંગ અને કમ્પ્યુટર અંકગણિતને જોડે છે, જે ફ્લોટિંગ-પોઇન્ટ અંકગણિત કામગીરીઓ અને તેમના પર આધારિત અલ્ગોરિધમ્સની ઔપચારિક ચકાસણી પર ધ્યાન કેન્દ્રિત કરે છે. તેઓ ફ્રેન્ચ ઇન્સ્ટિટ્યૂટ ફોર રિસર્ચ ઇન કમ્પ્યુટર સાયન્સ એન્ડ ઓટોમેશન (આઈ. એન. આર. આઈ. એ.) માટે સંશોધન નિયામક છે, જે પેરિસ-સેકલે યુનિવર્સિટી ખાતે ઔપચારિક પદ્ધતિ પ્રયોગશાળા અને આઈ. એન. આર. આઈ. એ. સેક્લે-ઇલે-ડી-ફ્રાન્સ સંશોધન કેન્દ્ર સાથે સંલગ્ન છે, જ્યાં તેઓ ઔપચારિક રીતે ચકાસાયેલ કાર્યક્રમો, પ્રમાણિત સાધનો અને આંકડાકીય ગણતરીઓ માટે ટોક્કાટા પ્રોજેક્ટનું સહ-નેતૃત્વ કરે છે. તેઓ કોમ્પ્યુટર સાયન્સમાં ફ્રેન્ચ એગ્રીગેશન માટે સ્થાપક જ્યુરી પ્રમુખ પણ છે. શિક્ષણ અને કારકિર્દી બોલ્ડોએ 2004માં ઇકોલ નોર્મલ સુપરરીયર ડી લ્યોન ખાતે પીએચ. ડી. પૂર્ણ કરી હતી અને 2005થી આઈ. એન. આર. આઈ. એ. સેકલે સાથે સંકળાયેલી છે. તેમણે 2014માં પેરિસ-સુદ યુનિવર્સિટીમાં 'ડિડક્ટિવ ફોર્મલ વેરિફિકેશનઃ હાઉ ટુ મેક યોર ફ્લોટિંગ-પોઇન્ટ પ્રોગ્રામ્સ બિહેવ "વિષય સાથે તેમનું રહેઠાણ પૂર્ણ કર્યું હતું. 2021 માં, ફ્રાન્સે કોમ્પ્યુટર વિજ્ઞાનમાં કૃષિ પ્રદાન કરવાનું શરૂ કર્યું, અને બોલ્ડોને તેના જ્યુરીના સ્થાપક પ્રમુખ તરીકે પસંદ કર્યા. પુસ્તકો બોલ્ડો એ પુસ્તકોના લેખક છે જેમાં નીચેનાનો સમાવેશ થાય છેઃ કમ્પ્યુટર અંકગણિત અને ઔપચારિક પુરાવાઓઃ કોક સિસ્ટમ સાથે ફ્લોટિંગ-પોઇન્ટ અલ્ગોરિધમ્સની ચકાસણી (ગુઇલાઉમ મેલક્વિઓન્ડ, આઈએસટીઈ પ્રેસ/એલ્સેવિયર, 2017 સાથે) યુએન ઇન્ટ્રોડક્શન એ લા સાયન્સ ઇન્ફોર્મેટીક પોર લેસ એન્સેગ્નેન્ટ્સ ડે લા ડિસિપ્લિન એન લાઇસી (ડોવેક, આર્કેમ્બોલ્ટ, બેસેલી, બૌહિનોઉ, સેગીલ્સ્કી, ક્લોસેન, ગ્યુસરીયન, લોપ્સ, મૌનિયર, ગુયેન, ક્વેસેટ, રાસે, રોઝોય, ટિમસિટ, વિયવિલે અને વિન્સેન્ટ, સીઆરડીપી પેરિસ, 2011 સાથે) સંદર્ભો બાહ્ય લિંક્સ હોમ પેજ જન્મ વર્ષ ગુમ થયેલ (