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.
Prof. Markov'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.
Prof. Markov co-authored over 120 refereed
publications and served on program committees
of most major conferences in Electronic Design Automation. He graduated three 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 2 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
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