Valeria Bertacco is an Associate Professor of Electrical Engineering and Computer Science at the University of Michigan. She is currently spending her sabbatical at the Addis Ababa Institute of Technology. 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 and she the author of three books on design errors and validation. She 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. Valeria is the recipient of the IEEE CEDA Early Career Award, an IBM faculty award, an NSF CAREER award, and the Air Force Office of Scientific Research's Young Investigator award.
Appearing at: