Bo-Yuan-Huang.github.io

profile-pic

I am a PhD candidate in the Department of Electrical Engineering at Princeton University working with Prof. Sharad Malik. My research interest is applying formal methods in accelerator-rich computing platforms, especially software/hardware co-verification and co-synthesis. I am also interested in security related system verification. My current focus is instruction-level abstraction based SoC firmware synthesis.

Before coming to Princeton, I received my BS in Electrical Engineering from National Taiwan University.

CV [Google Scholar] [GitHub] [ORCiD] [DBLP]

News

Publications

Conferences

Journals

Experience

Industrial

Teaching

Mentoring

Software/Prototype Development

Awards