Bow-Yaw Wang is a Research Fellow in Institute of Information Science, Academia Sinica, Taiwan. He received his Ph.D in University of Pennsylvania, 2001. His research interest is logic and its application in computer science. He mainly works on formal verification. In the past, he...
Read More →