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 has been working on compositional reasoning, program verification, learning-based verification techniques. More recently, he is interested in verifying assembly implementations of cryptographic primitives from security libraries such as OpenSSL and Bitcoin.