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. [1][2]

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. [2] 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.[2]

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

Awards and recognition
  • 2011: Marie Pistilli Award [1] "... recognizes Dr. Fix's lengthy set of contributions to EDA, including the development of the ForSpec formal specification language, donated by Intel to Accellera and an important factor in the IEEE-1850 standard, and her work in the areas of SAT solvers and model checking for both hardware and distributed software systems".[3]
gollark: Mine uses a simple bodged-together RPC interface, because I find REST kind of uncool.
gollark: Mine is a... not horrendously complex but still a bit annoying... Mithril-based SPA.
gollark: That's more advanced than my implementation, which just prefetches *all* the relevant data when you hover it at all, but OH WELL.
gollark: I decided to make my inefficient JS project *appear* mildly faster by prefetching the data for links when you hover over them, you see.
gollark: Also, apparently Firefox on mobile generates onmouseover events when you start tapping on a link, which is useful.

References
  1. "Dr. Limor Fix to Receive Marie R. Pistilli Award for Contributions to the Advancement of Women in EDA at 48th DAC"
  2. "Limor Fix", a profile at a Computing Community Consortium website
  3. "2011 MRP Award: Dr. Limor Fix, Electronic Design News, April 22, 2011
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.