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.
Daya Khudia Awarded Rackham International Student Fellowship
Daya Khudia, a graduate student in the Computer Sceince and Engineering program, has received a Rackham International Student Fellowship for 2010-11. Daya is currently a second year PhD student working with Associate Professor Valeria Bertacco. Daya is working on novel post-silicon validation solutions to boost the quality of modern chip-multiprocessor designs. His research interests are very broad; he is also investigating architecture techniques to automate just-in-time compilation of hot loops for interpreted languages.
Read More...
Andrea Pellegrini Wins GSRC Margarida Jacome Best Poster/Demo Award
A team of U-M computer scientists won the GSRC Margarida Jacome Best Poster/Demo Award at the Annual Symposium on the Gigascale Systems Research Center on Sept. 29. The award recognizes outstanding efforts of GSRC researchers as per the FCRP report from the center's sponsors. The GSRC sponsors 37 principal investigators and 60 students from 15 US universities. The team was comprised of graduate student Andrea Pellegrini and CSE professors Valeria Bertacco and Todd Austin. Their demo presented their recent work on Fault-based Attack on RSA Authentication.
Read More...
Andrew DeOrio Awarded Intel Corporation Ph.D. Fellowship
Ph.D. candidate Andrew DeOrio has been selected to receive a prestigious Intel Corporation Ph.D. Fellowship for the 2010-2011 academic year. The Intel Corporation Ph.D. Fellowship Program awards fellowships to Ph.D. candidates pursuing leading-edge work in fields related to Intel's business and research interests. Select U.S. universities are invited to submit a limited number of students for consideration. Those students selected by their university are then carefully reviewed by the Intel fellows and their designees who choose the winning students. This is a highly competitive program with a limited number of fellowships awarded annually.
Read More...
Debapriya Chatterjee Receives NVIDIA Graduate Fellowship
Ph.D. candidate Debapriya Chatterjee has received an NVIDIA Graduate Fellowship for the 2010-2011 academic year. NVIDIA awards only 10 of these fellowships per year to top Ph.D. students who are working to help solve complex visual and parallel computing challenges.
Read More...
Andrew DeOrio Gives WACI Talk
Ph.D. Candidate Andrew DeOrio will give a Wild and Crazy Ideas talk at Design Automation Conference 2010.
Read More...
Valeria Bertacco Featured in Women in Engineering Article
Professor Valeria Bertacco was recently featured in an article on the University of Michigan College of Engineering website.
Read More...
Inferno!
Inferno is an automatic semantic information extractor that is now open source.
Read More...
RSA Authentication
The team was comprised of graduate student Andrea Pellegrini and CSE professors Valeria Bertacco and Todd Austin. Their demo presented their recent work on Fault-based Attack on RSA Authentication.
Read More...
FUNSAT
FunSAT is a computer game that was designed to use human intuition to help solve an important computer engineering problem.
Read More...