Rajnish Ghughal

---------------

My research interests are in the area of formal verification. I am currently looking for a position as verification enginner in a research and development environment. My resume is available here.

My thesis is available here in postscript format.

---------------

Contact Info

Biographical Info

---------------


Last modified: July, 1997

Rajnish Ghughal (ghughal@cs.utah.edu)