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]