Sylvie Boldo
ಸಿಲ್ವಿ ಬೋಲ್ಡೊ ಒಬ್ಬ ಫ್ರೆಂಚ್ ಗಣಿತಶಾಸ್ತ್ರಜ್ಞ ಮತ್ತು ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿ. ಅವರ ಸಂಶೋಧನೆಯು ಸ್ವಯಂಚಾಲಿತ ಸಿದ್ಧಾಂತವನ್ನು ಸಾಬೀತುಪಡಿಸುವ ಮತ್ತು ಕಂಪ್ಯೂಟರ್ ಅಂಕಗಣಿತವನ್ನು ಸಂಯೋಜಿಸುತ್ತದೆ, ಫ್ಲೋಟಿಂಗ್-ಪಾಯಿಂಟ್ ಅಂಕಗಣಿತದ ಕಾರ್ಯಾಚರಣೆಗಳ ಔಪಚಾರಿಕ ಪರಿಶೀಲನೆ ಮತ್ತು ಅವುಗಳ ಆಧಾರದ ಮೇಲೆ ಕ್ರಮಾವಳಿಗಳ ಮೇಲೆ ಕೇಂದ್ರೀಕರಿಸುತ್ತದೆ. ಅವರು ಫ್ರೆಂಚ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಫಾರ್ ರಿಸರ್ಚ್ ಇನ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ ಅಂಡ್ ಆಟೊಮೇಷನ್ (ಐಎನ್ಆರ್ಐಎ) ಯ ಸಂಶೋಧನಾ ನಿರ್ದೇಶಕರಾಗಿದ್ದಾರೆ, ಪ್ಯಾರಿಸ್-ಸ್ಯಾಕ್ಲೇ ವಿಶ್ವವಿದ್ಯಾಲಯದ ಫಾರ್ಮಲ್ ಮೆಥಡ್ಸ್ ಲ್ಯಾಬೊರೇಟರಿ ಮತ್ತು ಐಎನ್ಆರ್ಐಎ ಸ್ಯಾಕ್ಲೇ-ಎಲ್-ಡಿ-ಫ್ರಾನ್ಸ್ ರಿಸರ್ಚ್ ಸೆಂಟರ್ನೊಂದಿಗೆ ಸಂಯೋಜಿತರಾಗಿದ್ದಾರೆ, ಅಲ್ಲಿ ಅವರು ಔಪಚಾರಿಕವಾಗಿ ಪರಿಶೀಲಿಸಿದ ಪ್ರೋಗ್ರಾಂಗಳು, ಪ್ರಮಾಣೀಕೃತ ಉಪಕರಣಗಳು ಮತ್ತು ಸಂಖ್ಯಾತ್ಮಕ ಲೆಕ್ಕಾಚಾರಗಳಿಗಾಗಿ ಟೊಕ್ಕಾಟಾ ಯೋಜನೆಯನ್ನು ಸಹ-ಮುನ್ನಡೆಸುತ್ತಾರೆ. ಆಕೆ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಫ್ರೆಂಚ್ ಸಂಸ್ಥೆಯ ಸ್ಥಾಪಕ ತೀರ್ಪುಗಾರರ ಅಧ್ಯಕ್ಷರೂ ಆಗಿದ್ದಾರೆ. ಶಿಕ್ಷಣ ಮತ್ತು ವೃತ್ತಿಜೀವನ ಬೋಲ್ಡೊ 2004 ರಲ್ಲಿ ಎಕೋಲ್ ನಾರ್ಮಲ್ ಸೂಪರ್ರಿಯರ್ ಡಿ ಲಿಯಾನ್ನಲ್ಲಿ ಪಿಎಚ್ಡಿ ಪೂರ್ಣಗೊಳಿಸಿದರು ಮತ್ತು 2005 ರಿಂದ ಐಎನ್ಆರ್ಐಎ ಸ್ಯಾಕ್ಲೇ ಜೊತೆ ಸಂಬಂಧ ಹೊಂದಿದ್ದಾರೆ. ಅವರು 2014 ರಲ್ಲಿ ಪ್ಯಾರಿಸ್-ಸುಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಹ್ಯಾಬಿಲಿಟೇಷನ್ ಥೀಸಿಸ್ ಡಿಡಕ್ಟಿವ್ ಫಾರ್ಮಲ್ ವೆರಿಫಿಕೇಷನ್ಃ ಹೌ ಟು ಮೇಕ್ ಯುವರ್ ಫ್ಲೋಟಿಂಗ್-ಪಾಯಿಂಟ್ ಪ್ರೋಗ್ರಾಮ್ಸ್ ಬಿಹೇವ್ ಅನ್ನು ಪೂರ್ಣಗೊಳಿಸಿದರು. 2021ರಲ್ಲಿ, ಫ್ರಾನ್ಸ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಅಗ್ರೆಗೇಷನ್ ನೀಡಲು ಪ್ರಾರಂಭಿಸಿತು, ಮತ್ತು ಅದರ ತೀರ್ಪುಗಾರರ ಮಂಡಳಿಯ ಸ್ಥಾಪಕ ಅಧ್ಯಕ್ಷರಾಗಿ ಬೋಲ್ಡೊ ಅವರನ್ನು ಆಯ್ಕೆ ಮಾಡಿತು. ಬೋಲ್ಡೋ ಅವರು ಈ ಕೆಳಗಿನ ಪುಸ್ತಕಗಳ ಲೇಖಕರಾಗಿದ್ದಾರೆಃ ಕಂಪ್ಯೂಟರ್ ಅಂಕಗಣಿತ ಮತ್ತು ಔಪಚಾರಿಕ ಪುರಾವೆಗಳುಃ ಕೋಕ್ ಸಿಸ್ಟಮ್ನೊಂದಿಗೆ ಫ್ಲೋಟಿಂಗ್-ಪಾಯಿಂಟ್ ಅಲ್ಗಾರಿದಮ್ಗಳನ್ನು ಪರಿಶೀಲಿಸುವುದು (ಗುಯಿಲ್ಲೌಮ್ ಮೆಲ್ಕ್ವಿಯೋನ್ಡ್, ಐ. ಎಸ್. ಟಿ. ಇ. ಪ್ರೆಸ್/ಎಲ್ಸೆವಿಯರ್, 2017 ರೊಂದಿಗೆ) ಯುನೆ ಇಂಟ್ರಡಕ್ಷನ್ ಎ ಲಾ ಸೈನ್ಸ್ ಇನ್ಫಾರ್ಮ್ಯಾಟಿಕ್ ಪೋರ್ ಲೆಸ್ ಎನ್ಸೆಗ್ನೆಂಟ್ಸ್ ಡೆ ಲಾ ಡಿಸಿಪ್ಲಿನ್ ಎನ್ ಲೈಸೀ (ಡೊವೆಕ್, ಆರ್ಚಾಂಬಾಲ್ಟ್, ಬ್ಯಾಸೆಲ್ಲಿ, ಬೌಹಿನೌ, ಸೆಗಿಲ್ಸ್ಕಿ, ಕ್ಲೌಸೆನ್, ಗುಸೆರಿಯನ್, ಲೋಪ್ಸ್, ಮೌನಿಯರ್, ನ್ಗುಯೆನ್, ಕ್ವೆಸೆಟ್, ರಾಸೆ, ರೋಜೊಯ್, ಟಿಮ್ಸಿಟ್, ವಿಯೆವಿಲ್ಲೆ ಮತ್ತು ವಿನ್ಸೆಂಟ್, ಸಿ. ಆರ್. ಡಿ. ಪಿ. ಪ್ಯಾರಿಸ್, 2011 ರೊಂದಿಗೆ) ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಹೋಮ್ ಪೇಜ್ ಹುಟ್ಟಿದ ವರ್ಷ ಕಾಣೆಯಾಗಿದೆ (