Profile

Chinese Name
王柏堯
 
English Name
Wang, Bow-Yaw
 
Personal Site
 
Main Affiliation
 
Loading... 9 0 20 0 false

Current Position

Research Fellow/Professor

Education

Ph.D., Computer Science, University of Pennsylvania, United States
 

Research Field

Model Checking
Formal Method