
Associate Professor at the University of Michigan, EDA Consultant, expert witness
Greater Detroit Area

Associate Professor at the University of Michigan, EDA Consultant, expert witness
Greater Detroit Area
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.
Igor's interests are in combinatorial optimization with applications to the design and verification 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-mechanical simulation with compressed matrices. Some of these algorithms lead to order-of-magnitude improvements in practice, and many of them are implemented in software, including open-source projects and major commercial tools.
Igor co-authored one book, four book chapters, and over 150 refereed publications. He served on program committees of most major conferences in Electronic Design Automation. Six Ph.D. degrees were defended under his guidance, and seven graduate students are working with him now. Current and former students interned at or are employed by AMD, Amazon.com, Cadence, Calypto, the US Department of Defense, the US Department of Energy, Google, IBM Research, Lockheed Martin, Microsoft, Qualcomm, UC Berkeley, Synopsys, and Synplicity.
Algorithms, large-scale optimization,
electronic design automation (EDA),
teacher, expert witness, higher education,
(Educational Institution; 10,001 or more employees; Education Management industry)
September 2006 — Present (2 years 11 months)
Teaching graduate and undergraduate courses in Computer Science and Computer Engineering, including algorithms, software, and hardware design (digital logic).
Research in Electronic Design Automation, advising graduate students.
(Higher Education industry)
2008 — 2008 (less than a year)
(Educational Institution; 10,001 or more employees; Higher Education industry)
September 2000 — August 2006 (6 years)
(Educational Institution; 10,001 or more employees; Higher Education industry)
April 1996 — August 2000 (4 years 5 months)
(Educational Institution; 10,001 or more employees; Higher Education industry)
September 1994 — March 1996 (1 year 7 months)
(Public Company; 1001-5000 employees; PTC; Computer Software industry)
July 1995 — August 1995 (2 months)
Ph.D. , Computer Science, Mathematics , 1993 — 2000
ACM SIGDA, AMS, IEEE Computer Society, CEDA
Senior Member of IEEE (2005)
ACM SIGDA Technical Leadership Award (2005)
NSF CAREER Award (2005)
ACM Outstanding NEW Faculty in Design Automation (2004)
Best paper award at DATE 2004
IEEE Donald O. Pederson best paper award 2003