Email Address:
byhuang@princeton.edu
Office Location:
J309 Engineering Quadrangle
Website:
Adviser(s):
Cohort Year: 2015
Hello, my name is Bo-Yuan Huang. I am working with professor Sharad Malik in applying formal methods in firmware verification.
Related News:
-
A team of researchers spearheaded by graduate student Bo-Yuan Huang developed the first step in a model of uniform verification for next-generation hardware accelerators, bringing mathematical rigor to a rapidly evolving field. The work earned them an ACM Best Paper Award at the 2020 Design Automation Conference. Photo by Adi Goldstein.
