Bo-Yuan-Huang.github.io

profile-pic

I am a Ph.D. candidate in the Department of Electrical Engineering at Princeton University, working with Prof. Sharad Malik. My research focuses on applying formal methods in accelerator-rich computing platforms, especially software/hardware co-verification and co-synthesis. I also work on security verification of systems in practical scales targeting vulnerabilities spanning across the software and hardware boundary. My current focus is automatic firmware/driver synthesis for ML/Crypto accelerators.

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

CV [Google Scholar] [GitHub]

Publications

Conferences

Journals

Experience

Industrial

Teaching

Mentoring

Services

Software/Prototype Development

Awards