
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.