Bow-Yaw Wang

王柏堯

Research Fellow, IIS

Bow-Yaw Wang is a Research Fellow at the Institute of Information Science, Academia Sinica, located at No. 128, Academia Road, Section 2, Nankang, Taipei. His research centers on formal verification, a technique for analyzing system behaviors to improve system quality, applied across hardware, protocols, drivers, and operating systems. He works on SAT-based model checking, which generalizes inductive proofs to verify branching-time properties of hardware circuits, and on learning-based reasoning, including assume-guarantee reasoning techniques for concurrent classical and probabilistic systems. His work also uses algorithmic learning to infer loop invariants and termination proofs for imperative programs, addresses correctness issues in data-parallel computing, and formalizes privacy together with verification techniques for privacy-respecting mechanisms in data analysis systems.

Official profile