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. She 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. She is the author of three books on functional, post-silicon, and runtime validation.
Professor Bertacco received her M.S. and Ph.D. degrees in Electrical Engineering from Stanford University in 1998 and 2003, respectively; and a Computer Engineering degree ("Dottore in Ingegneria") summa cum laude from the University of Padova, Italy in 1995. She is the recipient of the IEEE CEDA Early Career Award, the NSF CAREER Award, the Air Force Office of Scientific Research's Young Investigator Award and the IBM Faculty Award.