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

Resume

In Postscript
In PDF
I am currently employed at Sun Microsystems.