Limor Fix Explained

Limor Fix
Fields:Electronic Design Automation
Workplaces:Intel
Alma Mater:Technion – Israel Institute of Technology, Cornell University
Known For:Formal verification languages, ForSpec
Awards:Marie Pistilli Award (2011)

Limor Fix is an Israeli electronic design automation engineer and executive, senior principal engineer and director of academic programs and research at Intel. Her research interests include formal verification languages. [1]

She has Ph.D in computer science from Technion. After that she did post-doc research at the Cornell University. In 1994 she joined Intel in Israel. [1] Limor led the development of a new formal specification language, ForSpec, later donated by Intel to Accellera/IEEE. ForSpec influenced the IEEE 1850-Property Specification Language standard.[1]

She is among the authors of the Electronic Design Automation for Integrated Circuits handbook.[1]

Awards and recognition

Notes and References

  1. https://cra.org/ccc/limor-fix/ "Limor Fix"
  2. https://www.businesswire.com/news/home/20110418006308/en/Dr.-Limor-Fix-Receive-Marie-R.-Pistilli "Dr. Limor Fix to Receive Marie R. Pistilli Award for Contributions to the Advancement of Women in EDA at 48th DAC"
  3. https://www.edn.com/2011-mrp-award-dr-limor-fix/ "2011 MRP Award: Dr. Limor Fix