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.
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
See my research, publications pages and cv for more information.
Address: Mailstop RA2-451
2560 NW Ronler Way
Email: murali.lastname AT intel dot com