中文 English Research Fellow/Professor  |   Wang, Bow-Yaw       Research Interests   Model Checking Formal Method