Associate Professor, Computer Engineering
Associate Professor, Computer Science
- 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.
- College of Engineering