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