Ravi Hosabettu

This is my name in my mother tongue, Kannada

Research Interests

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


In Postscript
I am currently employed at Sun Microsystems.