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)