Михаэла Сигиреану - французский и румынский компьютерный ученый [1], специализирующийся на проверке моделей и верификации программного обеспечения . Она работает профессором Университета Париж-Сакле и членом Лаборатории формальных методов, управляемой совместно Университетом Париж-Сакле, CNRS и Высшей школой парижской школы Парижа-Сакле . [2]
Образование и карьера
Сигиряну родился в Румынии и имеет двойное гражданство Франции и Румынии. Она изучала информатику в Бухарестском университете , где в 1994 году получила степень магистра, а затем перешла в Университет Джозефа Фурье (ныне часть Университета Гренобль-Альпы ), чтобы получить вторую степень магистра в 1995 году и докторскую степень в 1999 году. Она получила степень бакалавра. в 2014 году через Парижский университет Дидро . [1]
После того, как докторские исследования в Французского института исследований в области вычислительной техники и автоматизации , она стала ассистентом профессора Парижского университета Дидро в 1999 году и доцентом в 2014 году на Парижском университете , [1] , прежде чем перейти к ее нынешнему положению в Париж- Университет Сакле. [2]
Она представляла Румынию в качестве делегата на ISO / IEC JTC 1 , где она внесла свой вклад в разработку стандарта E-LOTOS для формальных спецификаций. [3]
Рекомендации
- ^ a b c Curriculum vitae (PDF) , 6 марта 2020 г. , получено 12 марта 2021 г.
- ^ а б "Члены LSV" , Лаборатория формальных методов , Университет Париж-Сакле , получено 12 марта 2021 г.
- ^ «Французско-румынский вклад в определение E-LOTOS» , Проверка систем , INRIA Grenoble-Rhône-Alpes , получено 2021-03-12
Внешние ссылки
- Домашняя страница
- Публикации Михаелы Сигиреану, проиндексированные Google Scholar