Rajnish Ghughal 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
Organization:
Department of
Computer Science, University of Utah Position: Graduate
Research Assistant Mail address:
50 S Central Campus Drive Rm 3190 Salt Lake City UT 84112Office phone:
(801) 581-4162E-mail address:
ghughal@cs.utah.edu Group:
Formal
Methods in System Design and Verification 
Biographical
Info
Last modified: July, 1997
