Михаэла Сигиряну
- Михаэла Сигиряну — французский и румынский ученый-компьютерщик, специализирующийся на проверке моделей и верификации ПО.
- Она работает профессором в Университете Париж-Сакле и членом Лаборатории формальных методов.
- Сигиряну имеет двойное гражданство Франции и Румынии и получила образование в Бухарестском университете и Гренобльском Альпийском университете.
- Она получила степень бакалавра в Парижском университете Дидро и докторскую степень во Французском институте исследований в области компьютерных наук и автоматизации.
- Сигиряну представляла Румынию в JTC 1 ISO/IEC и внесла свой вклад в разработку стандарта E-LOTOS для формальных спецификаций.
Полный текст статьи: