:::


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