Сандрин Блейзи
Сандрин Блази — французский учёный-компьютерщик, известный своими исследованиями в области формальной верификации компиляторов , и особенно своей работой в качестве разработчика CompCert , компилятора для большого подмножества C99 , который является «первым компилятором промышленного уровня с механически проверяемым компилятором». доказательство правильности». [1] Она является профессором Университета Ренна и заместителем директора IRISA, Научно-исследовательского института информатики и информационных систем Университета Ренна и Национального центра научных исследований Франции .
Образование и карьера
[ редактировать ]Блази изучала информатику в качестве бакалавра в Высшей национальной школе информатики для промышленности и предпринимательства (ENSIIE) и Университете Сорбонны , получив одновременно инженерную степень в ENSIIE и степень магистра в Сорбонне в 1990 году. Она закончила доктор философии в 1993 году и получил хабилитацию в 2008 году в Университете Эври Валь д'Эссон . [2]
Она работала преподавателем в ENSIIE с 1994 по 2009 год, а затем перешла на свою нынешнюю должность профессора в Университете Ренна. В 2021 году она стала заместителем директора IRISA. [2]
Признание
[ редактировать ]Блази входил в группу разработчиков программного обеспечения, дважды удостоенных награды 2021 от Ассоциации вычислительной техники за работу над CompCert. ACM Software System Award [1] и премия ACM SIGPLAN за программное обеспечение для языков программирования 2022 года. [3]
В 2023 году Блази получил серебряную медаль CNRS . [4]
Ссылки
[ редактировать ]- ^ Jump up to: а б «Миссис Сандрин Блейзи» , лауреаты премии , ACM , получено 7 марта 2023 г.
- ^ Jump up to: а б Биографические данные (PDF) , IRISA , получено 7 марта 2023 г.
- ^ Премия в области программного обеспечения для языков программирования , ACM SIGPLAN , получено 7 марта 2023 г.
- ^ Сандрин Блази (на французском языке), Национальный центр научных исследований Франции , получено 7 марта 2023 г.
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Сандрин Блази , проиндексированные Google Scholar
