ETAPS 2019 (series) / Bo-Yuan Huang
![Bo-Yuan Huang](https://conf.researchr.org/getProfileImage/boyuanhuang/7cffa9a4-230b-4e2d-b46f-61d920a15c15/small.jpg?1718213661000)
Registered user since Wed 30 Jan 2019
Name:Bo-Yuan Huang
Bio:
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.
Country:United States
Affiliation:Princeton University, USA
Personal website: https://bo-yuan-huang.github.io/
Research interests:Formal methods, synthesis, firmware, hardware architecture.
Contributions
ETAPS 2019-profile
View general profile
View general profile