Welcome!
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 | | | |
|
