July 6, 2021
Kevin Cheang and Federico Mora win 2021 Qualcomm Innovation Fellowship
EECS Ph.D. students Kevin Cheang and Federico Mora (advisor: Sanjit A. Seshia) have been awarded a 2021 Qualcomm Innovation Fellowship (QiF) for their proposed project on “Practical Lifting for Verification of Trusted Platform Software.” They are one of the sixteen winners of this year’s QiF North America competition, which recognizes…