![王柏堯 (BY Wang) 王柏堯 (BY Wang)](/assets/person.png)
Department | Department of Computer Science and Information Engineering |
---|---|
Job title | Adjunct Professors |
Name | 王柏堯 (BY Wang) |
Job title | Professor |
Research expertise | model checking, formal veri cation, logic in computer science |
Department | Department of Computer Science and Information Engineering |
---|---|
Job title | Adjunct Professors |
Name | 王柏堯 (BY Wang) |
Job title | Professor |
Research expertise | model checking, formal veri cation, logic in computer science |