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 "innovative PhD students across a broad range of technical research areas, based on Qualcomm’s core values of innovation, execution and teamwork. QIF enables graduate students to be mentored by our engineers and supports them in their quest towards achieving their research goals."