- unknown (b.)
An Associate Professor of Electrical Engineering and Computer Science at the University of Michigan, he received his M.A. in Mathematics and Ph.D. in Computer Science from UCLA. In 2007 he was a visiting Associate Professor at the National Taiwan University, and in 2008 he was a Principal Engineer at Synplicity Inc. and Synopsys, Inc.He is currently a senior member of IEEE, and an ACM Distinguished Scientist. He serves on editorial boards of several ACM and IEEE Transactions, and chaired tracks at DAC, ICCAD, ICCD, DATE and GLSVLSI. His interests include computers that make computers (software and hardware), secure hardware design, combinatorial optimization with applications to the design, verification and debugging of integrated circuits, as well as in quantum logic circuits. His research contributions include new algorithmic techniques for Boolean satisfiability, hypergraph partitioning, block packing, large-scale circuit layout, synthesis of quantum circuits, as well as quantum simulation using compressed matrices. Implemented in open-source projects and major industry tools, these algorithms have led to order-of-magnitude improvements in practice. During the 2011 redesign of the ACM Computing Classification System, he led the effort on the Hardware tree. He is the recipient of the NSF CAREER award, IEEE CEDA Early Career Award and ACM SIGDA Outstanding New Faculty Award. He has co-authored three books and more than 180 refereed publications, some of which were honored by the best-paper awards at the Design Automation and Test in Europe Conference (DATE), the Int'l Symposium on Physical Design (ISPD) and the IEEE CAS Donald O. Pederson award for best paper in IEEE Transactions on Computer-Aided Design (TCAD). Eight Ph.D. students have graduated under his supervision, and four are now working with him. His students won programming contests, fellowships and other awards at DAC 2001, ICCAD 2002, DAC 2004, ICCAD 2004, DATE 2005, IWLS 2005, ICCAD 2005, ISPD 2007-9, DATE 2008, DAC 2009 (not counting second places and award nominations), and have contributed to Windows Vista at Microsoft, to the first 4-core Opteron processor at AMD, to IBM's flagship chip design software, and to the Open-Access database infrastructure at Cadence and Si2.
Noted For:Leader of the effort on the Hardware tree during the 2011 redesign of the ACM Computing Classification System
Category of Achievement: