Bangyan Wang

Bangyan Wang (王邦彦) is a Postdoc in FACT Lab. His current 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.