He received a Ph.D. in Computer Science from Stanford University in 1993, and a B.A. from Yale University. His Ph.D. dissertation introduced an automated synthesis method for locally-clocked asynchronous state machines, and he formalized the asynchronous specification style called "burst mode". His research interests include asynchronous circuits, VLSI CAD, low-power and high-performance digital systems, and formal verification of finite-state concurrent systems.