Zhaohui Fu received his B.Sc.(Hon I) and M.Sc. degrees in Computer Science from the National University of Singapore in 2000 and 2002. He received his M.A. and Ph.D. degrees in Electrical Engineering from Princeton University in 2004 and 2007. While at Princeton, Zhaohui's research was focused on Boolean Satisfiability and its extensions. Currently, Zhaohui worked at Cadence Design Systems on formal verification of electronic circuits.