Михаэла Сигиряну
Михаэла Сигиреану — французский и румынский специалист по информатике [1], специализирующийся на проверке моделей и верификации программного обеспечения . Она работает профессором в Университете Париж-Сакле и членом Лаборатории формальных методов, которой совместно руководят Университет Париж-Сакле, CNRS и Высшая нормальная школа Париж-Сакле . [2]
Образование и карьера
Сигиряну родилась в Румынии и имеет двойное гражданство Франции и Румынии. Она изучала информатику в Университете Бухареста , получив степень магистра в 1994 году, а затем перешла в Университет Жозефа Фурье (теперь часть Университета Гренобль-Альпы ) для получения второй степени магистра в 1995 году и докторской степени в 1999 году. Она получила хабилитацию в 2014 году в Университете Париж-Дидро . [1]
После постдокторского исследования во Французском институте исследований в области компьютерных наук и автоматизации она стала доцентом в Университете Париж-Дидро в 1999 году и доцентом в 2014 году в Парижском университете [1] , прежде чем перейти на свою нынешнюю должность в Университете Париж-Сакле. [2]
Она представляла Румынию в качестве делегата на заседании ISO/IEC JTC 1 , где внесла вклад в разработку стандарта E-LOTOS для формальных спецификаций. [3]
Ссылки
- ^ abc Curriculum vitae (PDF) , 6 марта 2020 г. , получено 12.03.2021 г.
- ^ ab "LSV members", Formal Methods Lab , Paris-Saclay University , получено 12.03.2021
- ^ "Франко-румынские вклады в определение E-LOTOS", Проверка систем , INRIA Гренобль-Рона-Альпы , получено 12.03.2021
Внешние ссылки
- Домашняя страница
- Публикации Михаэлы Сигиряну, проиндексированные Google Scholar
 | Эта статья о французском специалисте по компьютерам — заглушка . Вы можете помочь Википедии, дополнив ее. |
