Limor Fix - Limor Fix

Limor Fix je izraelský elektronická automatizace designu inženýr a výkonný ředitel, hlavní hlavní inženýr a ředitel akademických programů a výzkumu ve společnosti Intel. Mezi její výzkumné zájmy patří formální ověření jazyky. [1][2]

Má doktorát počítačová věda z Technion. Poté provedla postdoktorský výzkum na Cornell University. V roce 1994 nastoupila do společnosti Intel v Izraeli. [2] Limor vedl vývoj nového formálního specifikačního jazyka ForSpec, který později Intel daroval Accellera /IEEE. ForSpec ovlivnil standard IEEE 1850-Property Specification Language.[2]

Patří mezi autory Příručka Electronic Design Automation for Integrated Circuits.[2]

Ocenění a uznání

  • 2011: Cena Marie Pistilli [1] „... oceňuje rozsáhlou sadu příspěvků Dr. Fix pro EDA, včetně vývoje jazyka formálních specifikací ForSpec, darovaného společností Intel společnosti Accellera a důležitého faktoru ve standardu IEEE-1850, a její práce v oblastech SAT řešitelů a kontrola modelu pro hardwarové i distribuované softwarové systémy ".[3]

Reference

  1. ^ A b „Dr. Limor Fix získal na 48. DAC cenu Marie R. Pistilli za přínos pro rozvoj žen v EDA“
  2. ^ A b C d „Limor Fix“, profil na webu Computing Community Consortium
  3. ^ „Cena MRP 2011: Dr. Limor Fix, Novinky o elektronickém designu, 22. dubna 2011