Princeton University

School of Engineering & Applied Science

Bo Yuan Huang

Academic Advisor(s): Sharad Malik
Office: C305 Engineering Quadrangle
Email: byhuang@princeton.edu
Website: bo-yuan-huang.github.io

Hello, my name is Bo-Yuan Huang. I am working with professor Sharad Malik in applying formal methods in firmware verification.