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.

        Contact Us

© 2010 Bertacco Research