I am a research scientist at Intel Offensive Security Research. My work focuses on design methodology and automated verification of digital computing systems. A central theme of my research is leveraging formal methods (especially in modeling, verification, and synthesis) to ensure system correctness and security. Before joining Intel, I received my B.S. from National Taiwan University and my M.A. and Ph.D. from Princeton University.

CV | Google Scholar | DBLP | GitHub
Contact: bo-yuan.huang (at) my corporate email


Intel (2021 - present)
Offensive Security Research Scientist, Security Research

Princeton University (2015 - 2021)
Research Assistant, Electrical and Computer Engineering

Microsoft Research (Summer 2018 & Summer 2019)
Research Intern, New Security Ventures & Research in Software Engineer
Research Intern, Research in Software Engineer

Intel (Summer 2016 & Summer 2017)
Security Research Intern, Security Center of Excellence
Technical Intern, Security Center of Excellence

Coast Guard Administration (2014 - 2015)
Second Lieutinant

Taiwan Semiconductor Manufacturing Company (Summer 2013)
Software Engineer Intern, Advanced Process Transferring Group

National Taiwan University (2010 - 2014)
Undergraduate Research Assistant, Applied Logic and Computation Lab
Undergraduate Research Assistant, Wireless and Mobile Networking Lab