- Research Scientist
- Advanced Technology Group, Synopsys,
- Ph.D. October 1996, Electrical Engineering and Computer Sciences, University of California at Berkeley
- Advisor: Prof. Alberto Sangiovanni-Vincentelli
- Thesis: Formal Analysis of Synchronous Circuits, Abstract
Current Research Interests: VIS: Formal design verification , analysis of combinational cycles, logic synthesis of digital circuits.
- 700 East Middlefield Road
- Mountain View, CA 94043-4033
- phone: 415-528-4711
- FAX: 415-694-1626
Last Updated 3 March 95.
All CADgroup People