Лимор Фикс

Лимор Фикс
Лимор Фикс
Альма-матер	Технион – Израильский технологический институт , Корнельский университет
Известный	Языки формальной проверки, ForSpec
Награды	Премия Мари Пистилли (2011)
	Научная карьера
Поля	Автоматизация электронного проектирования
Учреждения	Интел

Лимор Фикс — израильский инженер по автоматизации электронного проектирования и исполнительный директор, старший главный инженер и директор академических программ и исследований в Intel . Ее исследовательские интересы включают языки формальной проверки . ^{[ 1 ]}^{[ 2 ]}

Она имеет докторскую степень по информатике в Технионе . После этого она провела постдокторантуру в Корнелльском университете . В 1994 году она присоединилась к Intel в Израиле. ^{[ 2 ]} Лимор руководил разработкой нового языка формальных спецификаций ForSpec, позже переданного Intel компании Accellera / IEEE . ForSpec повлиял на стандарт языка спецификации свойств IEEE 1850. ^{[ 2 ]}

Она входит в число авторов справочника «Автоматизация электронного проектирования интегральных схем» . ^{[ 2 ]}

Награды и признание

2011: Премия Мари Пистилли ^{[ 1 ]} «... признает значительный вклад доктора Фикс в EDA, включая разработку языка формальных спецификаций ForSpec, подаренного Intel компании Accellera и ставшего важным фактором в стандарте IEEE-1850, а также ее работу в области решателей SAT. и проверка моделей как для аппаратных средств, так и для распределенных программных систем». ^{[ 3 ]}

Ссылки

^ Jump up to: ^а ^б «Доктор Лимор Фикс получит премию Мари Р. Пистилли за вклад в улучшение положения женщин в EDA на 48-м DAC»
^ Jump up to: ^а ^б ^с ^д «Limor Fix» , профиль на веб-сайте Консорциума компьютерного сообщества.
^ "Награда MRP 2011: доктор Лимор Фикс , Electronic Design News , 22 апреля 2011 г.

Эта статья об израильском инженере, изобретателе или промышленном дизайнере незавершена . Вы можете помочь Википедии, расширив ее .

[bw-p-1] Jump up to: ^а ^б «Доктор Лимор Фикс получит премию Мари Р. Пистилли за вклад в улучшение положения женщин в EDA на 48-м DAC»

[cra-2] Jump up to: ^а ^б ^с ^д «Limor Fix» , профиль на веб-сайте Консорциума компьютерного сообщества.

[edn-3] "Награда MRP 2011: доктор Лимор Фикс , Electronic Design News , 22 апреля 2011 г.

[ 1 ]

[ 2 ]

[ 3 ]