NEW YORK –– August 10, 2011 –– Valeria Bertacco, associate professor of Electrical Engineering and Computer Science at the University of Michigan, will receive this year’s Early Career Award from the IEEE Council on Electronic Design Automation (CEDA).
Professor Bertacco’s research interests are in the area of design correctness, with emphasis on full design validation, digital system reliability and hardware security assurance. She will be recognized for her contributions to hardware verification, including her work on semi-formal verification, runtime and post-silicon verification, and correctness-constrained execution, during ICCAD’s opening session November 7 at the Doubletree Hotel in San Jose.
“Valeria Bertacco’s creativity and technical contributions are well recognized,” remarks Professor Donatella Sciuto of Politecnico di Milano and president-elect of CEDA. “We are delighted to present the Early Career Award to her.”
Professor Bertacco joined the faculty at the University of Michigan in 2003 after working in Synopsys’ Advanced Technology Group for four years as a lead developer of two verification software tools, Vera and Magellan.
Professor Bertacco received Master of Science and Ph.D. degrees in Electrical Engineering from Stanford University and a Computer Engineering degree (Dottore in Ingegneria) summa cum laude from the University of Padova in Italy. She recently was presented with a 2011 IBM Faculty Award, and is the recipient of a National Science Foundation Career Award and the Air Force Office of Scientific Research’s Young Investigator Award.
She teaches undergraduate and graduate courses in computer organization and digital design and verification, for which the University of Michigan recognized her with a Vulcan Society Excellence in Teaching Award and an Outstanding Achievement Award. She is the author of three books on design validation, from pre-silicon to runtime and is actively working with Addis Ababa University in Ethiopia to modernize their computer engineering program.
The annual Early Career Award recognizes an individual who has made innovative and substantial technical contributions to the area of Electronic Design Automation in the early stages of her or his career. Contributions are measured by the technical merit and creativity in performing research, and assessed based on the published record of the individual and the references accompanying the nomination. The award is equally available to contributors from academic and industrial institutions.
About the IEEE Council on EDA
The IEEE Council on Electronic Design Automation (CEDA) provides a focal point for EDA activities spread across six IEEE societies (Antennas and Propagation; Circuits and Systems; Computer; Electron Devices; Microwave Theory and Techniques; and Solid State Circuits). It sponsors more than 12 conferences, including the Design Automation Conference (DAC), International Conference in CAD (ICCAD) and Design Automation and Test in Europe (DATE). CEDA publishes IEEE Transactions on CAD and the IEEE Embedded Systems Letters. CEDA is increasingly involved in recognizing its leaders via the A. Richard Newton Award, Early Career Award and Phil Kaufmann Award. CEDA welcomes volunteers and local chapters. For more information, go to: www.c-eda.org.
