Professor, Electrical Engineering and Computer Science
Address: 4749 Beyster Bldg.
Email: imarkov @ umich.edu
Phone: (734) 936-7829
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.