|A B C D E F G H I J K L M N O P Q R S T U V W X Y Z|
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.
Research Areas: Computer Architecture, Computer-Aided Design and VLSI, Quantum Science and Devices, Theory of Computation
Address: 4749 Beyster Bldg.
Phone: (734) 936-7829