Лимор Фикс
Перейти к навигации
Перейти к поиску
Лимор Фикс (англ. Limor Fix) — израильский инженер в области автоматизации проектирования электронных устройств, директор академических программ и исследований Intel[1].
Биография[править]
Получила докторскую степень в области компьютерных наук в Технионе. Затем провела постдокторское исследование в Корнельском университете.
В 1994 году присоединилась к Intel Israel. Руководила разработкой нового формального языка спецификаций ForSpec.
Является одним из авторов справочника «Electronic Design Automation for Integrated Circuits handbook».
Области исследований: формальная верификация.