Bangyan Wang

· 1 min read

Bangyan Wang (王邦彦) is at a start-up. His research interests focus on applying AI and formal methods to hardware verification and generation. In the past, his major focus was on computer architecture, including multicore scheduling problems and instruction extension design for semi-general-purpose scenarios.

Authors

Bangyan Wang

Alumni

Bangyan Wang (王邦彦) is at a start-up. His research interests focus on applying AI and formal methods to hardware verification and generation. In the past, his major focus was on computer architecture, including multicore scheduling problems and instruction extension design for semi-general-purpose scenarios.