I am an Associate Professor of Computer Science, and Acting Chair of Computer Engineering, at Columbia University. I received a Ph.D. in Computer Science from Stanford University in 1993, and a B.A. from Yale University in 1976. My main research interests are: asynchronous circuits, VLSI CAD (computer-aided digital design) , low-power and high-performance digital design, logic synthesis, and formal hardware verification.
BA Yale University, PhD Computer Science, Stanford University
CUNIX ID: smn8