My research interest is focussed in the following areas:
I graduated from the University of Colorado at Boulder in the summer of 1997.
You may access my
Ph. D. Thesis.
I am a member of the team that is developing VIS, an interactive system for
verification and synthesis. For more information, software download, trial run
and much more take a look at the
VIS
Home Page
VLSI Group Seminar.(For VLSI/CAD members only)
Anecdotes about
the use of Formal Methods
This page has been accessed: 
times.