Electrical Engineering and Computer Science

Theory of Computation Faculty



Satinder Singh Baveja
Division: CSE
Address: 3749 Beyster Bldg.
Phone: (734) 936-2831
Email:
Degree: Ph.D. University of Massachusetts
Title: Professor, Electrical Engineering and Computer Science
Research Interests: Reinforcement Learning, Machine Learning, Computational Game Theory, Adaptive Human Computer Interaction.
Research Areas: Artificial Intelligence; Theory of Computation.
Areas of Specialty: Cognitive Architectures & Computational Cognitive Science; Machine Learning; Multiagent and Economic Systems; Assistive Technology; Robotics; The Intersection of Computer Science and Economics; Healthcare Computing.
 
 
Kevin J. Compton
Division: CSE
Address: 3603 Beyster Bldg.
Phone: (734) 763-9165
Fax: (734) 763-1503
Email:
Degree: Ph.D. U-Wisconsin
Title: Associate Professor, Electrical Engineering and Computer Science
Research Interests: Theory of computation, Complexity of combinatorial and logical problems, analysis of algorithms, automata theory
Research Areas: Theory of Computation; Secure, Trustworthy, and Reliable Systems.
Areas of Specialty: Design and Analysis of Algorithms; Secure Cryptographic Protocols.
 
 
John P. Hayes
Division: CSE ECE
Address: 4713 Beyster Bldg.
Phone: (734) 763-0386
Fax: (734) 763-4617
Email:
Degree: Ph.D., University of Illinois
Title: Claude E. Shannon Professor of Engineering Science; Professor, Electrical Engineering and Computer Science
Research Interests: Computer-aided design and testing, Computer architecture, Fault-tolerant design, VLSI circuits, Stochastic computing.
Research Areas: Quantum Science and Technology; Theory of Computation; Secure, Trustworthy, and Reliable Systems; Chip Design, Architecture, and Emerging Devices.
Areas of Specialty: Quantum Design Automation; Quantum Information Processing (Computer Architecture); Quantum Information Processing; Design Verification and Validation; Logic Synthesis; Verification, Testing, and Physical Design; Test; Electronic Design Automation; Reliabile Circuits and Systems; VLSI Design.
 
 
Igor Markov
Division: CSE
Address: 4749 Beyster Bldg.
Phone: (734) 936-7829
Fax: (734) 763-1503
Email:
Degree: Ph.D. Univeristy of California, Los Angeles
Title: Professor, Electrical Engineering and Computer Science
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: Theory of Computation; Secure, Trustworthy, and Reliable Systems; Chip Design, Architecture, and Emerging Devices.
Areas of Specialty: Quantum Information Processing; Design Verification and Validation; Logic Synthesis; Verification, Testing, and Physical Design; Quantum Design Automation; Test; Electronic Design Automation; Reliabile Circuits and Systems; VLSI Design.
 
 
Christopher Peikert
Division: CSE
Address: 3601 Beyster Bldg.
Phone: 734-936-2974
Email:
Title: Associate Professor, Electrical Engineering and Computer Science
Research Areas: Theory of Computation; Secure, Trustworthy, and Reliable Systems.
Areas of Specialty: Secure Cryptographic Protocols.
 
 
Seth Pettie
Division: CSE
Address: 3628 Beyster
Phone: (734) 615-4210
Fax: (734) 763-1260
Email:
Degree: University of Texas at Austin
Title: Morris Wellman Faculty Development Assistant Professor; Associate Professor, Electrical Engineering and Computer Science
Research Interests: Optimization algorithms, data structures, parallel and distributed computing, graph theory, and combinatorics.
Research Areas: Theory of Computation.
Areas of Specialty: Design and Analysis of Algorithms; Parallel and Distributed Computation.
 
 
Grant Schoenebeck
Division: CSE
Address: 3636 Beyster Bldg
Phone: 734/647-4712
Email:
Degree: PhD 2010, University of California, Berkeley
Title: Assistant Professor, Electrical Engineering and Computer Science
Research Interests: Theoretical computer science, linear and semidefinite programs, intersection of computer science and social networks, intersection of computer science and economics, NP-complete optimization problems, and computational complexity theory
Research Areas: Artificial Intelligence; Theory of Computation.
Areas of Specialty: Design and Analysis of Algorithms; Complexity Theory; The Intersection of Computer Science and Economics.
 
 
Yaoyun Shi
Division: CSE
Address: 3632 Beyster Bldg.
Phone: (734) 764-3308
Email:
Degree: Ph.D. Princeton
Title: Associate Professor, Electrical Engineering and Computer Science
Research Interests: Theory of computation and quantum computing.
Research Areas: Theory of Computation; Secure, Trustworthy, and Reliable Systems.
Areas of Specialty: Design and Analysis of Algorithms; Quantum Information Processing; Complexity Theory.
 
 
Quentin F. Stout
Division: CSE
Address: 3605 Beyster Bldg.
Phone: (734) 763-1518
Fax: (734) 763-4617
Email:
Degree: Ph.D. Indiana
Title: Co-Director, Center for Space Environment Modeling; Professor, Electrical Engineering and Computer Science; Professor, Atmospheric, Oceanic, and Space Sciences (courtesy)
Research Interests: Parallel computing, algorithms, supercomputing applied to problems in science and engineering, optimizing clinical trials
Research Areas: Theory of Computation; Warehouse-Scale and Parallel Systems.
Areas of Specialty: Design and Analysis of Algorithms; Parallel and Distributed Computation; Massive Datasets; Optimizing Energy Consumption; Parallel Computing and Supercomputing.
 
 
Michael Wellman
Division: CSE
Address: 3757 Beyster Bldg.
Phone: (734) 764-6894
Fax: (734) 763-1260
Email:
Degree: Ph.D. MIT
Title: Lynn A. Conway Professor of Computer Science and Engineering; Professor, Electrical Engineering and Computer Science
Research Interests: Artificial Intelligence, Electronic Commerce
Research Areas: Artificial Intelligence; Theory of Computation.
Areas of Specialty: Multiagent and Economic Systems; Constraint-based Reasoning; The Intersection of Computer Science and Economics.