ミハエラ・シギレアヌ

ミハエラ・シギレアヌは、モデル検査とソフトウェア検証を専門とするフランスとルーマニア出身のコンピュータ科学者です^{[1] 。彼女は}パリ・サクレー大学の教授として、またパリ・サクレー大学、 CNRS、パリ・サクレー高等師範学校が共同で運営する形式手法研究室のメンバーとして働いています^[2]。

シギレアヌはルーマニア生まれで、フランスとルーマニアの二重国籍を持つ。ブカレスト大学でコンピュータサイエンスを学び、1994年に修士号を取得した。その後、ジョセフ・フーリエ大学（現在はグルノーブル・アルプ大学の一部）に移り、1995年に2つ目の修士号を取得し、1999年に博士号を取得した。2014年にはパリ・ディドロ大学で学士号を取得した。^[1]

フランス国立情報学研究所で博士研究員として研究を行った後、1999年にパリ・ディドロ大学の助教授、2014年にパリ大学の准教授となり^[1]、その後パリ・サクレー大学に現職。^[2]

彼女はISO/IEC JTC 1の代表としてルーマニアを代表し、形式仕様のE-LOTOS標準の開発に貢献しました。^[3]

• ホームページ
• Google Scholarにインデックスされた Mihaela Sighireanu の出版物