リモールフィックス

リモール・フィックスはイスラエルの電子設計自動化エンジニアであり、インテルの幹部、主席エンジニア、学術プログラムおよび研究ディレクターです。彼女の研究対象には形式検証言語が含まれます。^{[1] [2]}

彼女はテクニオンでコンピュータサイエンスの博士号を取得しました。その後、コーネル大学で博士研究員として研究を行いました。1994年にイスラエルのインテルに入社しました。^{[2]リモールは、後にインテルから}Accellera / IEEE に寄贈された新しい形式仕様言語であるForSpecの開発を主導しました。ForSpecはIEEE 1850プロパティ仕様言語標準に影響を与えました。^[2]

彼女は『集積回路のための電子設計自動化ハンドブック』の著者の一人である。^[2]

• 2011年：マリー・ピスティリ賞^[1]「... IntelがAccelleraに寄贈し、IEEE-1850標準の重要な要素となったForSpec形式仕様言語の開発、およびハードウェアと分散ソフトウェアシステムの両方に対するSATソルバーとモデルチェックの分野でのFix博士の長年にわたるEDAへの貢献を表彰します。」^[3]