Михаэла Сигиряну
Михаэла Сигиряну — французский и румынский ученый-компьютерщик. [1] специализируется на проверке моделей и программном обеспечении . Она работает профессором в Университете Париж-Сакле и членом Лаборатории формальных методов, управляемой совместно Университетом Париж-Сакле, CNRS и Высшей нормальной школой Париж-Сакле . [2]
Образование и карьера [ править ]
Сигиряну родился в Румынии и имеет двойное гражданство Франции и Румынии. Она изучала информатику в Бухарестском университете , получила там степень магистра в 1994 году, а затем перешла в Университет Жозефа Фурье (ныне часть Университета Гренобль-Альпы ) для получения второй степени магистра в 1995 году и доктора в 1999 году. Она получила хабилитацию. в 2014 году через Парижский университет Дидро . [1]
После постдокторской исследовательской работы во Французском институте исследований в области компьютерных наук и автоматизации она стала доцентом Парижского университета Дидро в 1999 году и доцентом в 2014 году Парижского университета . [1] прежде чем перейти на свою нынешнюю должность в Университете Париж-Сакле. [2]
Она представляла Румынию в качестве делегата ISO/IEC JTC 1 , где внесла свой вклад в разработку стандарта E-LOTOS для формальных спецификаций. [3]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б с Биографические данные (PDF) , 6 марта 2020 г. , получено 12 марта 2021 г.
- ^ Jump up to: Перейти обратно: а б «Члены LSV» , Лаборатория формальных методов , Университет Париж-Сакле , получено 12 марта 2021 г.
- ^ «Франко-румынский вклад в определение E-LOTOS» , Валидация систем , INRIA Гренобль-Рона-Альпы , получено 12 марта 2021 г.
Внешние ссылки [ править ]
- Домашняя страница
- Публикации Михаэлы Сигиряну , проиндексированные Google Scholar
 | Эта статья о французском компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |