Adjunct Professor, Electrical Engineering and Computer Science
Email: imarkov @ umich.edu
Research Interests: Electronic Design Automation: Floorplanning, Placement and Routing, Logic and Physical Synthesis, Formal Verification. Quantum Design Automation: Synthesis and Simulation of quantum circuits. Algorithms for search and optimization: Boolean SATisfiability, block packing, hypergraph partitioning.