Short bio
Valeria Bertacco is an Associate Professor of Electrical Engineering and Computer Science (EECS) at the University of Michigan. Her research interests are in the areas of digital design correctness with emphasis on full design validation and digital system reliability. Valeria joined the faculty at Michigan after being at Synopsys for four years as a Staff Research Engineer in the Verification Group and in the Advanced Technology Group, where she was part of the core team that created Magellan, the solution proposed by Synopsys for the formal verification of digital designs. Prior to Synopsys, she was with Systems Science Inc., a Palo Alto startup which developed Vera, a testbench development language for verification, later acquired by Synopsys.
During her transition from Synopsys to the University of Michigan, she received her Ph.D. degree in Electrical Engineering from Stanford University in 2003. She also holds a M.S. in Electrical Engineering from Stanford and a Laurea degree summa cum laude in Computer Engineering from the University of Padua in Italy.
Currently, her research group is exploring hybrid verification techniques to boost the scalability of verification without sacrificing the quality of bugs discovered. She is also proposing post-manufacturing solutions to overcome design errors that escape into silicon. On the front of reliability, she is developing efficient hardware solutions to provide very low cost reliability for digital designs exposed to permanent failures and transient errors.
Valeria is the author of "Scalable Hardware Verification with Symbolic Simulation" published by Springer in 2005. She is an associate editor of the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and the Microelectronics Journal and she has been leading the effort for the development of the functional verification section in the annual ITRS (International Technology Roadmap for Semiconductors) report since 2004. Valeria is the recipient of a NSF CAREER award, a University of Michigan's Outstanding Achievement Award and an Air Force of Scientific Research Young Investigator Award.