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

Associate Professor at 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 over 140 refereed publications and
served on program committees of most major conferences in Electronic Design Automation. He graduated four Ph.D. and two M.S. students, and is now working with six graduate students. 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, Lockheed Martin, Microsoft, Qualcomm, UC Berkeley, 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 (1 year 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.
(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