Valeria Bertacco

Valeria Bertacco is Professor of Electrical Engineering and Computer Science at the University of Michigan since 2003. Her research interests are in the area of computer design, with emphasis on reliability, design correctness and hardware-security assurance. Prior to joining the University of Michigan, Valeria was with the Advanced Technology Group of Synopsys for four years as a lead developer of the industry-standard Vera and Magellan tools. She came to Synopsys via the acquisition of Systems Science Inc., where she was working at the time. During the Winter of 2012, she was on sabbatical at the Addis Ababa Institute of Technology.