Igor L. Markov

Igor L. Markov is a professor of Electrical Engineering and Computer Science at the University of Michigan. He received his Ph.D. in Computer Science from UCLA, is currently an IEEE Fellow and an ACM Distinguished Scientist. Prof. Markov researches computers that make computers. He has co-authored five books, four US patents, and over 200 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), the Int'l Conference on Computer-Aided Design (ICCAD) and IEEE Trans. on Computer-Aided Design (TCAD). During the 2011 redesign of the ACM Computing Classification System, Prof. Markov led the effort on the Hardware tree. Prof. Markov is the recipient of a DAC Fellowship, an ACM SIGDA Outstanding New Faculty award, an NSF CAREER award, an IBM Partnership Award, a Microsoft A. Richard Newton Breakthrough Research Award, and the inaugural IEEE CEDA Early Career Award. He has served on the Executive Board of ACM SIGDA and Editorial Boards of several ACM and IEEE Transactions, Communications of the ACM and IEEE Design & Test.

Igor L. Markov received the M.A. degree in mathematics and the Ph.D. degree in Computer Science from UCLA. He is a Professor of Electrical Engineering and Computer Science with the University of Michigan Ann Arbor. His current research interests include applied algorithms, large-scale optimization, computers that make computers, secure and verified hardware design, as well as atomic-scale information processing. He has co-authored five books, four U.S. patents, and over 200 refereed publications. He has supervised 12 doctoral degrees. Prof. Markov was the recipient of the best paper awards at the Design Automation and Test in Europe Conference (DATE), the International Symposium on Physical Design, and the International Conference on Computer-Aided Design (ICCAD), the IEEE CAS Donald O. Pederson Award for best paper in the IEEE Transactions on Computer-Aided Design, Design Automation Conference (DAC) Fellowship, the ACM SIGDA Outstanding New Faculty Award, the ACM SIGDA Technical Leadership Award, the NSF CAREER Award, the IBM Partnership Award, the Synplicity Inc., Faculty Award, the Microsoft A. Richard Newton Breakthrough Research Award, the inaugural IEEE CEDA Early Career Award, and the Electrical Engineering and Computer Science Department Outstanding Achievement Award from the University of Michigan. He is an ACM Distinguished Scientist. He was the Chair of the SLIP and IWLS Workshops, as well as tracks and topic areas including DAC, DATE, ICCAD, ICCD, and GLSVLSI. He has served on the Executive Board of ACM SIGDA twice. He is currently a Moderator of CoRR. He was an Editorial Board Member of the Communications of ACM, ACM Transactions on Design Automation of Electronic Systems, the IEEE TRANSACTIONS ON COMPUTERS, the IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN, ACM Journal of Emerging Technologies in Computing, and the IEEE DESIGN AND TEST.

Igor L. Markov is a 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 an IEEE Fellow, and an ACM Distinguished Scientist. He served two terms on the Executive Board of ACM SIGDA.

Prof. Markov's interests include applied algorithms and large-scale optimization, computers that make computers, secure and verified hardware design, as well as quantum computation. Prof. Markov's 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. Implemented in open-source projects and major industry tools, these algorithms have led to order-of-magnitude improvements in practice.

Prof. Markov currently is or has been a member of the editoral board of the Communications of the ACM, of the ACM Transactions on Design Automation of Electronic Systems, IEEE Transactions on Computers, IEEE Transactions on Computer-Aided Design, ACM J. of Emerging Technologies in Computing, and IEEE Design & Test. He chaired the SLIP and IWLS workshops, as well as tracks and topic areas at DAC, DATE, ICCAD, ICCD, GLSVLSI. He is currently a moderator of CoRR (arxiv.org).

He has co-authored five books, four US patents, and over 200 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), the Int'l Conference on Computer-Aided Design (ICCAD) and the IEEE CAS Donald O. Pederson award for best paper in IEEE Transactions on Computer-Aided Design (TCAD). During the 2011 redesign of the ACM Computing Classification System, Prof. Markov led the effort on the Hardware tree. Prof. Markov is the recipient of a DAC Fellowship, an ACM SIGDA Outstanding New Faculty award, an ACM SIGDA Technical Leadership Award, an NSF CAREER award, an IBM Partnership Award, a Synplicity Inc. Faculty award, a Microsoft A. Richard Newton Breakthrough Research Award, and the inaugural IEEE CEDA Early Career Award. He was also honored by the University of Michigan with the EECS Department Outstanding Achievement Award and selected as a Top Writer for 2013 by Quora. Prof. Markov's work was covered in IEEE Computer, MIT Technology Review, EE Times, the Times of India, Slashdot, Dr. Dobb's journal, Science daily, Networked World, etc.

Prof. Markov chaired the undergraduate Computer Engineering program at the University of Michigan (ranked 7th by US News & World Report) for a number of years. Twelve Ph.D. students have graduated under his supervision. 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, ISPD 2010, ICCAD 2010, ISPD 2011, DAC 2012, ICCAD 2012, ISPD 2013. They have contributed to Windows OS and Visual Studio at Microsoft, to the first 4-core Opteron processor at AMD, to several lines of IBM server processors and IBM's flagship chip design software, as well as to the Open-Access database infrastructure for representing VLSI circuits at Cadence and Si2. Current and former graduate and research students are or have been employed by AMD, Amazon.com, Avery, Barracuda Networks, Broadway Technology, Cadence, Calypto, Columbia University, the US Department of Defense, the US Department of Energy, General Electric, Google, the Howard Hughes Medical Institue, IBM Research, Lockheed Martin, Mentor Graphics, Microsoft, Qualcomm, UC Berkeley, Samsung, Stanford, Synplicity, Synopsys, Toyota Research, and Xilinx.