Theory of Computation Faculty

Jacob Abernethy
Division: CSE
Address: 3765 Beyster
Phone: 734-763-1560
Email:
Degree: PhD, Computer Science, UC Berkeley, 2011
Title: Assistant Professor
Research Interests: Jake's research draws from the field of Machine Learning (ML), but he has devoted much attention to a range of areas, including game theory, decision theory, optimization, market mechanism design, and financial applications. He is particularly interested in how algorithms utilized in ML, such as those for discovering patterns in data, are strongly related to methods used in large-scale optimization, as well as strategies for hedging financial derivatives and setting prices in securities markets.
Research Areas: Artificial Intelligence; Theory of Computation.
Areas of Specialty: Machine Learning; Electronic Commerce; Design and Analysis of Algorithms.
 
 
Satinder Singh Baveja
Division: CSE
Address: 3749 Beyster Bldg.
Phone: (734) 936-2831
Email:
Degree: Ph.D. University of Massachusetts
Title: Professor
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; Multiagent Systems; Machine Learning; Electronic Commerce; Assistive Technology; 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
Research Interests: Theory of computation, Complexity of combinatorial and logical problems, analysis of algorithms, automata theory
Research Areas: Theory of Computation.
Areas of Specialty: Design and Analysis of Algorithms; Secure Cryptographic Protocols.
 
 
Georg Essl
Division: CSE
Address: 3624 Beyster Bldg.
Phone: (734) 615-2691
Fax: (734) 763-1260
Email:
Degree: Ph.D, Princeton
Title: Assistant Professor of CSE; Assistant Professor Music, Theater & Dance
Research Interests: Interactive Computer Music, Mobile HCI & Mobile Music Making, Sensory-Rich Interfaces, Real-time Sound Synthesis, Musical Acoustics, Application of Computer Science to Music and the Arts.
Research Areas: Artificial Intelligence; Interactive Systems; Signal and Image Processing; Theory of Computation.
Areas of Specialty: Performative and Mobile Art and Creativity.
 
 
John P. Hayes
Division: CSE ECE
Address: 4713 Beyster Bldg.
Phone: (734) 763-0386
Fax: (734) 763-4617
Email:
Degree: Ph.D. U-Illinois
Title: Professor; Claude E. Shannon Professor of Engineering Science
Research Interests: Computer-aided design and testing, Computer architecture, Fault-tolerant design, VLSI circuits, Quantum computing
Research Areas: Computer Architecture; Computer-Aided Design and VLSI; Quantum Science and Devices; Theory of Computation.
Areas of Specialty: Electronic Design Automation; Reliabile Circuits and Systems; Quantum Information Processing; Logic Synthesis; Design Verification and Validation; Test; Quantum Design Automation; Quantum Information Processing (Computer Architecture); Verification, Testing and Physical Design; VLSI Design.
 
 
Igor Markov
Division: CSE
Address: 4749 Beyster Bldg.
Phone: (734) 936-7829
Fax: (734) 763-1503
Email:
Degree: Ph.D. UCLA
Title: Professor
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.
Areas of Specialty: Electronic Design Automation; Reliabile Circuits and Systems; Quantum Information Processing; Physical Design; Logic Synthesis; Design Verification and Validation; Test; Quantum Design Automation; Quantum Information Processing (Computer Architecture); Quantum Information Processing (Theory); Verification, Testing and Physical Design; VLSI Design.
 
 
Carl Alexander Miller
Division: CSE
Address: 2709 Beyster Bldg.
Phone: 734-647-7127
Email:
Degree: Ph.D. UC-Berkeley
Title: Assistant Research Scientist; LEO Adjunct Assistant Professor
Research Areas: Theory of Computation.
 
 
Seth Pettie
Division: CSE
Address: 3628 Beyster
Phone: (734) 615-4210
Fax: (734) 763-1260
Email:
Degree: University of Texas at Austin
Title: Associate Professor; Morris Wellman Faculty Development Assistant Professor
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: 3640 Beyster Bldg
Phone: 734/647-4712
Email:
Degree: PhD 2010, University of California, Berkeley
Title: Assistant Professor
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
Research Interests: Theory of computation and quantum computing.
Research Areas: Quantum Science and Devices; Theory of Computation.
Areas of Specialty: Quantum Information Processing (Computer Architecture); Quantum Information Processing (Theory); 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: Director, Center for Parallel Computing; Professor
Research Interests: Parallel computing, algorithms, supercomputing applied to problems in science and engineering, optimizing clinical trials
Research Areas: Software Systems; Theory of Computation.
Areas of Specialty: Design and Analysis of Algorithms; Parallel and Distributed Computation; Parallel Computing and Supercomputing; Massive Datasets; Optimizing Energy Consumption.
 
 
Martin J. Strauss
Division: CSE
Address: 3063 East Hall
Phone: (734) 763-3005
Address: 3633 CSE
Email:
Degree: Ph.D. Rutgers University
Title: Professor of EECS; Professor, Mathematics
Research Interests: Randomized and approximation algorithms, especially for massive data sets and problems from harmonic analysis; cryptography and security; complexity theory.
Research Areas: Theory of Computation.
Areas of Specialty: Design and Analysis of Algorithms; Secure Cryptographic Protocols; Massive Datasets; Optimizing Energy Consumption.
 
 
Michael Wellman
Division: CSE
Address: 3757 Beyster Bldg.
Phone: (734) 764-6894
Fax: (734) 763-1260
Email:
Degree: Ph.D. MIT
Title: Professor
Research Interests: Artificial Intelligence, Electronic Commerce
Research Areas: Artificial Intelligence; Theory of Computation.
Areas of Specialty: Multiagent Systems; Electronic Commerce; Constraint-based Reasoning; The Intersection of Computer Science and Economics.