Valeria Bertacco received her Ph.D. degree from the department of Electrical
Engineering at Stanford University in September 2003. She worked at Synopsys,
Inc. in the Verification Technology Group from 1997 to 1999 and in the
Advanced Technology Group from 1999 to 2001 as a Staff R&D Engineer working on
functional and semi-formal verification of digital ICs. She joined the faculty
at the University of Mighican in Fall 2003.

Research Interests
Verification of microchip designs, focusing mainly on the creation of novel
techniques and verification methodologies that enable the formal and semi-
formal verification of industrial-scale designs

Academic
http://www.eecs.umich.edu/~vale

Contact info

Phone: (734) 615-4047
Fax: (734) 763-4617
Asst. phone: (734) 764-4329
CSE Building
2260 Hayward Avenue Room 4645
Ann, MI 48109-2121
USA