Welcome to Bertacco Lab

Welcome to the Bertacco Lab in the EECS Department at the University of Michigan . The focus of our research group is to design novel and effective solutions to guarantee correct functional behavior in hardware systems, ranging from formal and semi-formal verification, to post-silicon validation, to runtime correctness and reliability.

The Bertacco Lab is funded by the Gigascale Systems Research Center, the National Science Foundation, the Air Force Office for Scientific Research, Cisco Systems and Intel Corporation.



Helen Hagos selected as a Dow Sustainability Fellow

Helen Hagos has been selected as a Dow Sustainability Fellow. As such, she will join a growing collaborative community of scholars focused on interdisciplinary approaches to a broad array of sustainability challenges related to water, energy, transportation, built environment, climate change, food, health, human behavior, and others.


Read More...


Prof. Valeria Bertacco Receives U-M Faculty Recognition Award

Prof. Valeria Bertacco has been selected to receive a Faculty Recognition Award by the Rackham Graduate School at the University of Michigan. The Faculty Recognition Award is intended for faculty early in their careers who have demonstrated substantive contributions to the university through achievements in scholarly research and/or creative endeavors; excellence as a teacher, adviser and mentor; and distinguished participation in service activities of the university.


Read More...


Doowon Lee wins IBM Ph.D. fellowship for outstanding research

Doowon Lee, a graduate student in the Computer Science and Engineering program, has been selected to receive a prestigious IBM Ph.D. Fellowship. The IBM Ph.D. Fellowship Awards Program is an intensely competitive worldwide program, which honors exceptional Ph.D. students who have an interest in solving problems that are important to IBM and fundamental to innovation in many academic disciplines and areas of study. IBM receives several hundred nominations worldwide. Award recipients are selected based on their overall potential for research excellence, the degree to which their technical interests align with those of IBM, and their progress to-date.


Read More...


        Contact Us

© 2010 Bertacco Research