Bo Yuan Huang

Email Address: 
byhuang@princeton.edu
Office Location: 
C305 Engineering Quadrangle
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.