리모어 픽스
Limor Fix리모어 픽스는, 이스라엘의 전자 설계 자동화 엔지니어, 이그제큐티브, 시니어 수석 엔지니어, 인텔의 학술 프로그램 및 리서치 디렉터입니다.그녀의 연구 관심사는 공식 검증 언어를 포함한다.[1][2]
그녀는 Ph를 가지고 있다.테크니온에서 컴퓨터 공학을 전공했습니다.그 후 그녀는 코넬 대학에서 박사후 연구를 했다.1994년에 그녀는 이스라엘에서 인텔에 입사했습니다.[2] 리모르는, 새로운 정식 사양 언어인 ForSpec의 개발을 주도해, 후에 인텔이 Accellera/IEEE에 기증했습니다.ForSpec은 IEEE 1850 Property Specification Language [2]표준에 영향을 미쳤습니다.
집적회로를 위한 전자 설계 자동화 [2]핸드북의 저자 중 한 명이다.
수상과 표창
- 2011년 마리 피스틸리상...박사 표창Fix는 인텔이 Accellera에 기증한 ForSpec 공식 사양 언어 개발 및 IEEE-1850 표준의 중요한 요소, 하드웨어와 분산 소프트웨어 시스템 [3]양쪽의 SAT 솔버 및 모델 체크 분야에서 오랜 기간 공헌을 했습니다.