Limor Fix

Academic Programs and Research, Director


The computing landscape is changing fast toward Internet of Things (IOT) and Cloud Computing. Moreover, the capacity of silicon manufacturing continuous to grow and the demand for it is just as strong. In 2010, a total of 10 Billion transistors were shipped per person on earth. To fuel the growing demand for transistors and to accelerate these changes in the computing landscape,  Intel decided to team up with US Universities in a novel Academic-Industry partnership. Since January of 2011, Intel has launched four Intel Science and Technology Centers (ISTCs) hosted at leading US universities, and by middle of 2012, additional three such centers are going to be established. In this talk, Dr. Fix will cover the research challenges, the research plans and the novel structure of the new ISTCs. 



Currently Limor is co-managing the Intel Pittsburgh Lab as the Associate Director of the Lab. Limor is also an Intel Senior Principal Engineer and she has a PhD in Computer Science from the Technion, Israel,1992. After graduation, Limor conducted post-doc research in Cornell University and in 1994 she joined Intel in Israel. For 10 years Limor led a major change in Intel's validation technology and methodology. She developed innovative formal verification tools and methodology that have been widely adopted by Intel's design teams. Limor has published more than 30 papers, and she was invited to many technical program committees of leading international conferences. In the last seven years, Limor served on the executive committee of the Design Automation Conference (DAC), the leading conference for design tools with 10,000 participants and 250 companies demo suites. In 2008, Limor served as the general chair of DAC.


Limor's research interests include formal specification languages, Limor has led the development of the ForSpec formal specification language that had been donated by Intel to Accellera/IEEE and had a major impact in the IEEE-1850 standard. In addition, Limor's research also include BDD's, SAT solvers, and model checking of both hardware and distributed software. In particular, Limor has led the research and development of Intel's three generations of advanced formal verification systems, Forecast, Thunder and Foresight.


B17 Upson Hall

Thursday, August 25, 2011

Refreshments at 3:45pm in the Upson 4th Floor Atrium


Computer Science


Fall 2011

Intel Science and Technology Centers