:::
| Name | Bo-Yao Wang |
|---|---|
| Category | Adjunct Professors |
|---|---|
| Job title | Adjunct Professor |
| Department | 資訊工程學系 |
| Research expertise | model checking, formal veri cation, logic in computer science |
