Limor Fix
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. 

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. 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. 

She is among the authors of the "Electronic Design Automation for Integrated Circuits handbook".
Q1194864
electronic design automation
Concept
Q248
Intel
ORG
Q173326
formal verification
Concept
Q21198
computer science
Concept
Q333705
Technion
ORG
Q49115
Cornell University
ORG
Q4033234
Accellera
ORG
Q131566
IEEE
ORG
Q86377006
Limor Fix
PER
1994-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1994
DATE
1850-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1850
DATE
educated at