Igor L. Markov

Academic career

From the early 2000s through 2018, Markov was a professor at the University of Michigan. In 2007, he was a visiting associate professor at the National Taiwan University. At the University of Michigan, Markov served as chair of the undergraduate Computer Engineering and Computer Science programs from 2009 to 2012 and in 2015, overseeing curriculum development and accreditation efforts. He was promoted to full professor in 2012. In 2013-2014, Markov was a visiting professor at Stanford University.

Markov served as associate editor of ACM Transactions on Design Automation of Electronic Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, and Communications of the ACM. He served at the ACM Special Interest Group on Design Automation as a member of the Advisory Board (2007-2009) and the Executive Committee (2009-2012). Additionally, he contributed to the revision of the 2011 ACM Computing Classification System, where he led the Hardware category.

Industry career

In the 1990s, Markov worked as a software engineer at the Parametric Technology Corporation. In 2008, he worked as a principal engineer at Synopsys during a sabbatical leave from University of Michigan.

In 2014, Markov joined Google’s Search team, where he completely rewrote the algorithm responsible for trivial‐query detection, improving its worst‐case time complexity from exponential to linear and reducing query‐processing latency in production workloads. Working at Google through 2017, he also developed and implemented a new algorithm for information retrieval that finds top-N relevant records for user-configurable priorities without identifying all relevant records. From 2018 to 2023, he worked at Meta on machine learning platforms and news feed integrity. In the early 2020s, he consulted for IonQ on quantum computer design and optimization. Markov returned to Synopsys in 2024 to work on computing hardware as a Distinguished Architect.

In October 2025, Markov was elected vice chair of the Si2 Large Language Model Benchmarking Coalition, a collaborative industry initiative focused on advancing AI applications for silicon design and verification.

Nonprofit leadership

Since 2017, Markov has been a member of the board of directors of Nova Ukraine, a California 501(c)(3) charity organization that provides aid and services to people in Ukraine. According to annual IRS Form 990 filings, the organization has raised over $100 million in aid and distributed a large part of it in Ukraine; news media reporting in the US and Ukraine corroborates large-scale shipments of medical supplies to Ukraine and numerous aid projects during 2022–2024.

Markov is also the vice president and a member of the board of directors of the American Coalition for Ukraine, an umbrella organization that coordinates one hundred US-based nonprofits concerned about events in Ukraine.

Accolades

The ACM Special Interest Group on Design Automation honored Markov with an Outstanding New Faculty Award in 2004. Markov received the NSF CAREER award in 2005. Markov won 2007-08 EECS Outstanding Achievement Awards at the University of Michigan in recognition of excellence in research, teaching, and service. Markov was the 2009 recipient of IEEE CEDA Ernest S. Kuh Early Career Award "for outstanding contributions to algorithms, methodologies and software for the physical design of integrated circuits." Along with Andrew Kahng, in 2011 Igor Markov won the A. Richard Newton GSRC Industrial Impact Award for research on circuit placement and the Capo software package, used by researchers and companies.

Markov became an ACM Distinguished Member in 2011. In 2013, he was named an IEEE fellow "for contributions to optimization methods in electronic design automation".

Award-winning publications

Markov's peer-reviewed scholarly work was recognized with five best-paper awards, including four at major conferences and a journal in the field of electronic design automation, and one in theoretical computer science:

• The 2003 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Donald O. Pederson Best Paper Award, shared with Vivek Shende and John P. Hayes for work on reversible logic circuits.
• The 2004 best-paper award at the Design Automation and Test in Europe (DATE) conference, shared with Smita Krishnaswamy, George F. Viamontes, and John P. Hayes for work on circuit reliability evaluation with probabilistic transfer matrices. Full journal version of this work was published four years later.
• The 2008 best-paper award at the International Symposium on Physical Design (ISPD), shared with Stephen Plaza and Valeria Bertacco, for work on physical synthesis.
• The 2010 best-paper award at the International Conference on Computer-Aided Design (ICCAD) for work on circuit placement. The full journal version of this work was published two years later.
• The best-paper award at the 2012 Alan Turing Centenary Conference in Manchester, UK, shared with Karem A. Sakallah for work on graph automorphism and canonical labeling.

Key technical contributions

Quantum computing

Markov's contributions include results on quantum circuit synthesis (creating circuits from specifications) and simulation of quantum circuits on conventional computers.

• An algorithm for the synthesis of linear reversible circuits with at most ${\displaystyle O(n^2/\log n)}$ CNOT gates (asymptotically optimal) that was extended by Scott Aaronson and Daniel Gottesman to perform optimal synthesis of Clifford circuits, with applications to quantum error correction.
• Optimal synthesis of a two-qubit unitary that uses the minimal number of CNOT gates.
• Asymptotically optimal synthesis of an ${\displaystyle n}$-qubit quantum circuit that (a) implements a given unitary matrix using no more than${\displaystyle (23/48)\times 4^n-(3/2)\times 2^n+4/3}$ CNOT gates (less than a factor of two away from the theoretical lower bound) and (b) induces an initial quantum state using no more than ${\displaystyle 2^{n+1}-2n}$ CNOT gates (less than a factor of four away from the theoretical lower bound). In independent evaluations, researchers observed strong performance of the circuit synthesis algorithm published by Markov as implemented in IBM Qiskit software.
• Efficient simulation of quantum circuits with low tree-width using tensor-network contraction. Follow-up works extended this technique with approximations, which allowed them to simulate quantum Fourier transform in polynomial time. Markov's work was used in an essential way in the first proof (by Dorit Aharonov et al.) that quantum Fourier transform can be classically simulated.
• Markov contributed to advancements in ion trap quantum computing at IonQ as a consultant and research collaborator. He led research on an error mitigation technique called "debiasing via frugal symmetrization" that addresses computational inaccuracies in quantum systems by using computational symmetries to reduce errors across multiple algorithm implementations. The method improved the accuracy of quantum computations without additional execution overhead.

Markov has been leading early quantum computing efforts at Synopsys with emphasis on leveraging the existing design and manufacturing ecosystem for silicon chips. At a 2025 quantum computing hardware review, Igor Markov highlighted how established semiconductor fabrication techniques are instrumental in scaling up quantum computing systems and discussed innovations in compiler technology and atomic-scale modeling needed for efficient qubit production.

Markov has been leading Synopsys collaborations with the Quantum Scaling Alliance to advance the simulation and design of large-scale programmable superconducting qubit arrays. These efforts focus on advancing software tools and methodologies for modeling, verification, and optimization of quantum hardware.

Physical design of integrated circuits

Markov's Capo placer provided a baseline for comparisons used in the placement literature. The placer was open-sourced, commercialized and used to design industry chips. Markov's contributions include algorithms, methodologies and software for

• Circuit partitioning: high-performance heuristic optimizations for hypergraph partitioning
• Placement: algorithms for finding ${\displaystyle (x,y)}$ locations of circuit components that optimize interconnects between those components
• Floorplanning: algorithms and methodologies for chip planning in terms of locations of large components
• Routing: algorithms based on Lagrangian relaxation to construct global wire routs on a multilayer grid structure
• Physical synthesis: algorithms and methodologies for altering logic circuits to admit layouts with shorter interconnects or lower latency

Artificial intelligence

At Meta, Markov led the development of an end-to-end AI platform called Looper, an internal machine learning platform that supports end-to-end product decision-making and optimization. It provides easy-to-use APIs for data ingestion, feature extraction, model training, and real-time inference, along with built-in support for multi-objective optimization and feedback collection. Looper's modular architecture enables rapid experimentation and deployment, and by 2022 it was adopted by over 90 Meta product teams for tasks ranging from content ranking to user engagement analysis. In 2023, Markov gave a presentation at the AI conference on the current limitations of generative AI, including output errors and hallucinations, limited reasoning capabilities, and problematic numerical skills.

At Synopsys, Markov leads the AI Disruption Task Force that tracks the impact of AI on chip design and evaluates possible business disruptions. In June 2025, he delivered a one-hour tutorial titled "AI for EDA: Challenges and Opportunities" as part of Short Course 2 at the Symposium on VLSI Technology and Circuits in Kyoto.

Nonprofit contributions

As part of Ukraine Action Summits organized by the American Coalition for Ukraine, Markov participates in Congressional advocacy that informs elected officials about Ukraine. At Nova Ukraine, Markov oversees advocacy activities. He also organized medical and evacuation projects, and participated in fundraising efforts.

Since 2022, Igor Markov has served as a public spokesman for Nova Ukraine. In this role, he has represented the organization in the media, advocating for relief efforts and raising awareness of the ongoing crisis. On 25 February 2022, the day after the Russian invasion of Ukraine commenced, Markov appeared in a Fox News interview discussing the humanitarian impact of the conflict. In May 2022, Markov appeared in interviews on CNN Newsroom discussing the evacuation of civilians during the Siege of Mariupol and highlighting Nova Ukraine's significant fundraising achievements and aid delivery efforts. In 2023, Markov told the Associated Press that the organization faced repeated debates over how to distinguish humanitarian aid from military support. He explained that Nova Ukraine chose not to fund volunteer fighters, partly because corporate partners require assurances that donations are used only for humanitarian purposes, though he noted that some dual-use items, such as vehicles, can blur that line.

In March 2022, Igor Markov, as a director of Nova Ukraine, oversaw one of the organization's major humanitarian operations in response to the Russian invasion of Ukraine, coordinating with the Ukraine Student Association at Stanford University and the Ukrainian Association of Washington State to send 32 tons of medical supplies valued at $3.5 million. The operation culminated in a chartered Airbus A330 flight departing from Seattle–Tacoma International Airport and arriving in Lublin, Poland, on March 29, 2022, where the cargo was subsequently transported to Ministry of Health of Ukraine for further distribution across the country. Markov highlighted the use of air cargo flights to reduce delivery times for medical supplies to under two weeks, compared with months via traditional shipping. The initiative received attention from community leaders and public officials in Washington State and contributed to subsequent transatlantic supply efforts.

In October 2023, Igor Markov was involved in coordinating a visit of the All-Ukrainian Council of Churches and Religious Organizations (UCCRO) to the United States. The UCCRO delegation, representing more than 95 percent of Ukraine's religious communities, aimed to raise international awareness about the consequences of Russia's full-scale invasion for religious freedom and civil society in Ukraine. As part of the delegation's program, religious leaders held meetings with members of the United States Senate, the Department of State, think-tanks, and faith-based organizations. The initiative was recognized by the Embassy of Ukraine in the United States as an important demonstration of Ukraine's religious unity and democratic values in the context of war.

In 2025, Markov also undertook media outreach to explain the humanitarian situation in Ukraine and Nova Ukraine’s work to local audiences. He appeared in an ABC7 San Francisco segment reacting to the Trump–Putin summit, discussing the toll of the war and the needs of civilians. Earlier that year he spoke on NBC Bay Area’s late-night newscast, offering perspective on U.S. policy debates and their impact on Ukrainians.

Teaching and mentoring

At the University of Michigan, Markov supervised research of 12 doctoral students and their dissertations in electrical engineering and computer science. Markov's prominent students include professors Smita Krishnaswamy and Vivek Shende (undergraduate). Under Markov's supervision, several graduate students won best paper awards at international conferences and achieved recognition in electronic design automation research contests.

Markov taught both undergraduate and graduate courses: logic design, algorithms and data structures, logic optimization, and IC layout synthesis. In a 2007 presentation to the University of Michigan Regents, his teaching and curriculum development was highlighted positively based on student evaluations. In 2008, he received the EECS Outstanding Achievement Award, which cited contributions to both research and teaching.

In 2014, Markov served as the primary instructor for Stanford's EE 271: Introduction to VLSI Systems.

Books and other publications

Markov co-authored over 200 peer-reviewed publications in journals and archival conference proceedings. Google Scholar reported over 21,000 citations of his publications as of August 2025 with h-index of 75.

In a 2014 Nature article, Markov surveyed known limits to computation, pointing out that many of them are fairly loose and do not restrict near-term technologies. When practical technologies encounter serious limits, understanding these limits can lead to workarounds. The work was highlighted by the National Science Foundation, where program director Sankar Basu commented that the paper "revolves around this important intellectual question of our time" in its effort to identify laws governing the limits of computation in the information age. The article was praised for synthesizing diverse constraints—from materials and manufacturing to energy, space–time, and computational complexity—and for framing "loose" versus "tight" limits to guide future innovations in chip design.

In 2024, Markov published a paper in Communications of the ACM critical of a prior Nature publication on chip design.

Books

Markov has authored and edited several books on electronic design automation, algorithms, and combinatorial optimization.

Authored

• George F. Viamontes; Igor L. Markov; John P. Hayes (2009). Quantum Circuit Simulation. Springer. ISBN 978-90-481-3064-1.
• Kai-hui Chang; Valeria Bertacco; Igor L. Markov (2009). Functional Design Errors in Digital Circuits - Diagnosis, Correction and Repair. Lecture Notes in Electrical Engineering. Vol. 32. Springer. ISBN 978-1-4020-9364-7.
• David A. Papa; Igor L. Markov (2013). Multi-Objective Optimization in Physical Synthesis of Integrated Circuits. Lecture Notes in Electrical Engineering. Vol. 166. Springer. ISBN 978-1-4614-1355-4.
• Andrew B. Kahng; Jens Lienig; Igor L. Markov; Jin Hu (2022). VLSI Physical Design - From Graph Partitioning to Timing Closure (second ed.). Springer. ISBN 978-3-030-96415-3. (first edition published in 2011)
• Smita Krishnaswamy; Igor L. Markov; John P. Hayes (21 September 2012). Design, Analysis and Test of Logic Circuits Under Uncertainty. Springer. ISBN 978-90-481-9643-2.

Edited

• Luciano Lavagno; Igor L. Markov; Grant Martin; Louis K. Scheffer, eds. (2016). Electronic Design Automation for IC System Design, Verification, and Testing (second ed.). Taylor & Francis. ISBN 978-1-138-58600-0.

Public engagement

In May 2016, at the ML Conference in San Francisco, Markov delivered a 30-minute public presentation titled "Can AI Become a Dystopian Threat to Humanity? A Hardware Perspective". He argued that, despite popular concerns about runaway artificial intelligence, inherent hardware and energy constraints impose natural limits on an AI system's capacity for rapid recursive self-improvement or mass replication. Markov proposed establishing strict boundaries between hierarchical levels of AI autonomy, preventing unrestricted self-modification, and tightly regulating access to critical energy sources and hardware resources. He further recommended domestication strategies—such as deploying benevolent AI overseers—to detect and neutralize potentially malicious systems. By combining technological analogies with evolutionary concepts, Markov outlined a set of abstract safety rules and monitoring frameworks intended to preemptively mitigate a wide spectrum of AI-driven threats.

Markov's articles were published by Huffington Post, Slate, and Forbes.

Markov serves as a subject-area moderator for the Computer Science section of arXiv.