Михаэла Сигиряну

От / / Оставьте комментарий

Михаэла Сигиряну Михаэла Сигиряну — французский и румынский ученый-компьютерщик, специализирующийся на проверке моделей и верификации ПО.  Она работает профессором в […]

European computer specialist stubs, French computer scientists, French women computer scientists, Living people, Romanian computer scientists, Romanian women computer scientists, University of Bucharest alumni, Выпускницы Бухарестского университета, Живые люди, Незавершенные статьи о европейских компьютерных специалистах, Румынские женщины-компьютерщики, Французские женщины-компьютерщики, Французские ученые-компьютерщики

Михаэла Сигиряну

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

Полный текст статьи:

Михаэла Сигиряну — Википедия

Похожие статьи:

  1. Спецификация языка временного упорядочения Язык спецификации временного упорядочения LOTOS — формальный язык спецификации, основанный на временном упорядочении событий.  Используется для...
  2. Автоматизация лабораторий Автоматизация лабораторий Основные области автоматизации лабораторий Автоматизация лабораторий включает в себя разработку и использование технологий для...
  3. Компьютерное образование Компьютерное образование История и развитие образования в области компьютерных наук Образование в области компьютерных наук началось...
  4. Конференция по автоматизации проектирования Конференция по автоматизации проектирования Обзор конференции DAC DAC — это ежегодное мероприятие, сочетающее техническую конференцию и...
  5. Бонни Бергер Бонни Бергер Биография Бонни Энн Бергер Американский математик и специалист по информатике, профессор в Массачусетском технологическом...
  6. Тамара Мюнцнер Тамара Манцнер Тамара Макушла Манзнер — американо-канадский ученый, эксперт в области визуализации информации.  Она является профессором...
  7. Доктор философии Доктор философии Определение и значение докторской степени Докторская степень (PhD) — это высшая ученая степень, присуждаемая...
  8. Грасиела Чичилниски Грасиэла Чичилниски Биография и образование Грасиэлы Чичилниски Родилась в Буэнос-Айресе в семье русских еврейских иммигрантов.  Получила...
  9. Список самых просматриваемых французских музыкальных клипов на YouTube Список самых просматриваемых французских музыкальных клипов на YouTube Обзор YouTube на французском языке YouTube — американский...
  10. Ширли М. Тилман Ширли М. Тилгман Карьера Ширли Тилгман Ширли Тилгман — американский биолог и 19-й президент Принстонского университета. ...
  11. Сеймур Гинзбург Сеймур Гинзбург Сеймур Гинзбург — американский пионер в области теории автоматов, формальных языков и баз данных. ...
  12. Лене Хау Лене Хау Биография Лене Вестергаард Хау Лене Вестергаард Хау — датский физик, специалист по квантовой оптике...
  13. Конференция по автоматизации проектирования в Азии и Южно-Тихоокеанском регионе Конференция по автоматизации проектирования в Азии и южной части Тихого океана Конференция по автоматизации проектирования в...
  14. Ружена Байчи Ружена Байчи Ружена Байчи — американский инженер и специалист по информатике, специализирующийся на робототехнике.  Она является...
  15. Мануэла М. Велосо Мануэла М. Велозу Мануэла Мария Велозу — глава J.P. Morgan AI Research и почетный профессор Университета...
  16. Тимнит Гебру Тимнит Гебру Карьера и достижения Тимнита Гебру Тимнит Гебру — американский исследователь в области искусственного интеллекта...
  17. Дана Улери Дана Улери Карьера Даны Улери Получила степень бакалавра в области английской литературы и математики в 1959...
  18. Дайанна Сюй Диана Сюй Илун Дианна Сюй — математик и специалист по информатике, исследует вычислительную геометрию кривых и...
  19. Эльке У. Вебер Эльке У. Вебер Профессиональная карьера Эльке У. Вебер Профессор психологии и связей с общественностью в Принстонском...
  20. Джоан Бирман Джоан Бирман Джоан С. Бирман — американский математик, профессор математики в Принстонском университете.  Она получила образование...

Оставьте комментарий

Прокрутить вверх