I am an Assistant Professor of Computer Science with a joint appointment between National University of Singapore's School of Computing and Yale-NUS College. I was a Lee Kuan Yew Postdoctoral Fellow after I defended my PhD thesis from the Department of Computer Science of Princeton University. I do research in verification, semantic models, machine-checked proof, and computer security. Particular areas of recent interest are verifying graph-manipulating programs, developing certified decision procedures, parallel programming, and Bitcoin.