| |
This is my name in my mother tongue, Kannada |
I was a graduate student at University of Utah.
I got my Ph.D. in the area of Formal
Verification Methods. My advisor was Dr. Ganesh
Gopalakrishnan. My Ph.D. thesis was on Systematic Verification
of Pipelined Microprocessors.
Publications Online