Igor L. Markov

Very short bio for introductions at conferences and seminars

Igor L. Markov is an associate professor of Electrical Engineering and Computer Science at the University of Michigan. He received his Ph.D. in Computer Science from UCLA. Currently he is a member of the Executive Board of ACM SIGDA, Editorial Board member of Communications of ACM, ACM TODAES, IEEE Transactions on Computers, IEEE Transactions on CAD, as well as IEEE Design & Test. Prof. Markov researches computers that make computers. He has co-authored more than 150 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. Prof. Markov is the recipient of a DAC Fellowship, an ACM SIGDA Outstanding New Faculty award, an NSF CAREER award, an IBM Partnership Award, and a Microsoft A. Richard Newton Breakthrough Research Award.

Journal-style bio

Igor L. Markov is 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. Currently he is a senior member of ACM and IEEE, 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, and IEEE Design & Test. Prof. Markov researches computers that make computers. He has co-authored more than 150 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). Additionally, 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, and a Microsoft A. Richard Newton Breakthrough Research Award. He was also honored by the University of Michigan with the EECS Department Outstanding Achievement Award. Prof. Markov served on a number of conference program committees and chaired some of them. He graduated six Ph.D. students, and is now working with seven graduate students.

Extended bio

Igor L. Markov is 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. Currently he is a senior member of ACM and IEEE, 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 Csmputer-Aided Design, and IEEE Design & Test. He has co-authored more than 150 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). Additionally, 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, and a Microsoft A. Richard Newton Breakthrough Research 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.

Prof. Markov served on a number of program committees and chaired some of them. He graduated six Ph.D. students, and is now working with seven graduate students. 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, DATE 2008, ISPD 2008 (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.