Home  I   Research   I   Publications   I   Other    


I am a researcher at Intel's Strategic CAD Labs (SCL) working on Formal Verification of hardware/software systems.
Before joining Intel, I obtained my PhD degree from Carnegie Mellon University's Computer Science Department working with Prof Edmund Clarke. Prior to that I did my BTech in Computer Science from Indian Institute of Technology-Madras.

Research Interests

My research area is verification and validation of hardware/software systems. In particular, my current research involves applying Model Checking and Abstract Interpretation to formally verify distributed protocols that are crucial to modern multi-core/multi-processor systems.

See my research, publications pages and cv  for more information.

Contact Information

Address:  Mailstop RA2-451
                2560 NW Ronler Way
                Hillsboro, OR-97124

Email:       murali.lastname AT intel dot com