Home / Africa Index / School / College of Engineering /
Valeria Bertacco
Associate Professor, Computer Engineering
Associate Professor, Computer Science
Contact Information:
Major Project:
- Valeria Bertacco is an Associate Professor of Electrical Engineering and Computer Science at the University of Michigan. Her research interests are in the area of design correctness, with emphasis on full design validation, digital system reliability and hardware security assurance. Valeria joined the faculty at Michigan after being in the Advanced Technology Group of Synopsys for four years as a lead developer of Vera and Magellan, two popular verification tools. Valeria serves in several conference program committees, including DATE and DAC, she is an Associated Editor for the IEEE Transactions on CAD and the Microelectronics Journal, and the author of two books on design errors and validation.
Country:
- Ethiopia
School:
- College of Engineering
Africa Index
- Faculty
- School
- Center for Human Growth and Development
- College of Engineering
- College of Literature, Science, and the Arts
- Gerald R. Ford School of Public Policy
- Institute for Research on Women and Gender
- Institute for Social Research
- Law School
- Medical School
- School of Art and Design
- School of Kinesiology
- School of Music, Theater and Dance
- School of Natural Resources and Environment
- School of Nursing
- School of Public Health
- School of Social Work
- Stephen M. Ross School of Business
- Taubman College of Architecture and Urban Planning
- Country
