portrait
Rohit Dureja, Ph.D.
Research and Development Engineer
Formal Verification Tools
IBM Corporation