王柏堯 (BY Wang)
Department Department of Computer Science and Information Engineering
Job title Adjunct Professors
Name 王柏堯 (BY Wang)
Job title Professor
Email
Research expertise model checking, formal veri cation, logic in computer science