王柏堯

Bow-Yaw Wang

資訊所研究員

王柏堯現任中央研究院資訊科學研究所研究員，辦公室位於台北市南港區研究院路二段一二八號。他的研究領域以形式化驗證（formal verification）為核心，這是一種分析系統行為以提升系統品質的技術，應用範圍涵蓋硬體、通訊協定、驅動程式與作業系統。他也致力於發展以布林可滿足性（SAT）為基礎的模型檢驗，將歸納證明推廣至硬體電路分支時間性質的驗證。此外，他發展以演算法學習為基礎的推理技術，用於並行傳統系統與機率系統的假設保證推理，並將演算法學習應用於推導迴圈不變式與終止性證明。其研究亦涵蓋資料平行運算程式的正確性驗證，以及資料分析系統中隱私之形式化與驗證。