Igor L. Markov

Very short bio for magazines

Igor L. Markov is a professor of Electrical Engineering and Computer Science at the University of Michigan. He received a Ph.D. in Computer Science from UCLA, 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. Prof. Markov researches computers that make computers. He has co-authored three books and more than 180 refereed publications. During the 2011 redesign of the ACM Computing Classification System, Prof. Markov lead 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.

Short bio for introductions at conferences and seminars

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. He is a member of the Executive Board of ACM SIGDA, Editorial Board member of the Communications of ACM and IEEE Design & Test, as well as several ACM and IEEE Transactions. He chaired tracks at DAC, ICCAD, ICCD, DATE and GLSVLSI. Prof. Markov researches computers that make computers. 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 IEEE Trans. on Computer-Aided Design. During the 2011 redesign of the ACM Computing Classification System, Prof. Markov lead 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.

Journal-style bio

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. Currently he is a senior member of IEEE, an ACM Distinguished Scientist, and a member of the Executive Board of ACM SIGDA. Prof. Markov's 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.

Prof. Markov is 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. In the past, he chaired the SLIP and IWLS workshops, as well as tracks and topic areas at DAC, DATE, ICCAD, ICCD, and GLSVLSI.

Prof. Markov 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). During the 2011 redesign of the ACM Computing Classification System, Prof. Markov lead 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. Eight Ph.D. students graduated under his supervision, and four are currently working with him.

Extended bio

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. Currently he is a senior member of IEEE, an ACM Distinguished Scientist, and a member of the Executive Board of ACM SIGDA.

Prof. Markov's 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. 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 using compressed matrices. Implemented in open-source projects and major industry tools, these algorithms have lead to order-of-magnitude improvements in practice.

Prof. Markov is 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. In the past, he chaired the SLIP and IWLS workshops, as well as tracks and topic areas at DAC, DATE, ICCAD, ICCD, GLSVLSI.

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). During the 2011 redesign of the ACM Computing Classification System, Prof. Markov lead 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. 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.

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. Current and former students interned at or are employed by AMD, Amazon.com, Avery, Cadence, Calypto, the US Department of Defense, the US Department of Energy, General Electric, Google, IBM, Lockheed Martin, Mentor Graphics, Microsoft, Qualcomm, UC Berkeley, Synplicity, Synopsys, Toyota Research, and Xilinx.