Princeton University

School of Engineering & Applied Science

Zhaohui Fu
Graduate Student
Graduation Year: 
Thesis Title: 
Extending the Power of Boolean Satisfiability Solvers: Techniques and Applications
Sharad Malik
Current Employer: 
Cadence Design Systems, Inc

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.