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.
Contact: bo-yuan.huang (at) my corporate email
Experiences
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