It gives me great pleasure to announce that 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 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 in November in San Jose.
With research interests in the area of design correctness, with emphasis on full design validation, digital system reliability and hardware security assurance, her creativity and technical contributions are well recognized throughout the industry.
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. She received a 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 for her work in design correctness, full design validation, digital system reliability and hardware security assurance. The recipient of a National Science Foundation Career award, she has also been honored with the University of Michigan’s Outstanding Achievement award and the Air Force Office of Scientific Research’s Young Investigator award.
Additionally, Professor Bertacco serves in several conference program committees, including DATE and DAC, and is an associated editor for the IEEE Transactions on CAD and the Microelectronics Journal. 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.
CEDA established the first Early Career Award in 2009 to recognize an individual who has made innovative and substantial technical contributions to the area of EDA in the early stages of her or his career. The first recipient was Professor Igor Markov from the University of Michigan, and in 2010, the award went to Professor Luca Daniel form MIT.
The annual award recognizes an individual who has made innovative and substantial technical contributions to the area of EDA 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.
Professor Valeria Bertacco