Faculty by Research Interests

Ad hoc networking: Guestrin, Perrig
Adaptive systems: Garlan, Maxion
Abstraction (cf. Type Theory): Garlan, Shaw, Wing
Algol-like languages: Reynolds
Algorithmic mechanism design: Sandholm
Algorithms: Blelloch, A. Blum, L. Blum, M. Blum, Bryant, Guestrin, Harchol-Balter, Lafferty, Langmead, G. Miller, O’Donnell, Rudich, Sandholm, Sleator, Xing
Algorithms, approximation: A. Blum, Gupta, O’Donnell
Algorithms, distributed: Goldstein, Guestrin, Harchol-Balter, Rudich
Algorithms, graph: A. Blum, Gupta, Miller, O’Donnell
Algorithms, learning: A. Blum, Carbonell, Lafferty, Langmead, O’Donnell, Xing
Algorithms, On-line: A. Blum
Algorithms, Networks: Guestrin, Gupta
Algorithms, parallel: Blelloch, Maggs, Miller
Algorithms, robot: Erdmann
Analogical reasoning: Carbonell, Mitchell, Veloso, Xing
Animation: Hodgins, Pollard
Anomaly detection: Maxion, Shaw
Application-aware networks: Seshan
Application-specific computing systems: Garlan
Applied Cryptography: Reiter
Artificial Intelligence: Carbonell, Fahlman, Fink, Guestrin, Lafferty, Mitchell, Moore, Ng, Reddy, Rosenfeld, Sandholm, Veloso, Waibel, Xing
Aspect-oriented programming: Aldrich
Assurance cases: Maxion
ATM networks: Steenkiste
Auctions: Harchol-Balter, Sandholm
Auditory modeling: Stern
Automata Theory: M. Blum
Automated negotiation: Sandholm
Automated theorem proving: Clarke, Pfenning, Wing
Automatic compiler generation: P. Lee
Automatic grammar generation: Lafferty, Waibel
Automatic hardward generation: Goldstein
Automatic parallelization: Goldstein
Automatic programming: See Program Synthesis.
Automatic speech understanding: Rosenfeld, Waibel
Autonomic computing: Garlan, Ganger, Gibson, Maxion
Autonomous mobile robots: Kanade, Simmons
Autonomous rovers: Simmons
Autonomous spacecraft: Simmons
Autonomous systems: Kanade, Simmons, Wing

Bayesian networks: Guestrin, Langmead, Xing
Benchmarks: Seshan
Biology, computational: Durand, Erdmann, Langmead, Xing
Biometrics: Maxion
Bounded rationality: Sandholm
Broadcast communication: Perrig

CareMedia: Christel, Hauptmann, Wactlar
Causal reasoning: Carbonell, Maxion
Certifying compilers: P. Lee
Character recognition: Waibel
Coalition formation: Sandholm
Cognitive architecture: Carbonell, John
Cognitive modelling: Carbonell, John
Cognitive robotics: Touretzky
Cognitive science: Carbonell, John, Koedinger, Maxion
Combinatorics: G. Miller, O’Donnell, Rudich, Sleator
Compilers: Blelloch, Goldstein, Harper, P. Lee, Steenkiste
Complexity and real computation: L. Blum
Complexity theory: M. Blum, O’Donnell, Rudich
Computation theory: Brookes, Clarke, Lafferty, G. Miller, Rudich
Computational database systems: O’Hallaron
Computational group theory: Lafferty, O’Donnell
Computational learning theory: A. Blum, O’Donnell
Computational linguistics: Carbonell, Fahlman, Hauptmann, Lafferty, Rosenfeld, Rudnicky, Waibel, Xing
Computational molecular biology: Durand, Erdmann, Langmead, Rosenfeld, Xing
Computational Neuroscience: T. Lee, Lewicki, Touretzky
Computational Statistics: Xing
Computer-aided design: Bryant, Clarke, Garlan, John, Siewiorek
Computer architecture: Blelloch, Ganger, Goldstein, Hoe, Siewiorek, Steenkiste, Wactlar
Computer systems: O’Hallaron
Concept formation: Carbonell, Maxion, Mitchell
Concurrency, semantics of: Brookes, Clarke, Wing
Concurrent systems: Wing
Congestion control: Seshan
Connectionist networks: See Neural nets.
Constraint directed reasoning: Sandholm
Constraint logic programming: Pfenning
Constructive mathematics: Harper, Pfenning
Content-based information analysis: Christel, Ng
Control theory: Guestrin, Langmead, Moore
Cooperating robots: Erdmann, Goldstein
Cryptology: M. Blum, Perrig, Reiter, Rudich, Song
Data mining: Carbonell, Faloutsos, Fink, Guestrin, Mitchell, Moore, Xing
Data structures: Sleator
Database management systems: Ailamaki, Faloutsos, Harchol-Balter
Database Security: Song
Databases (cf. Information retrieval): Ailamaki, Faloutsos, Satyanarayanan
Databases (cf. Storage Systems): Ailamaki, Ganger, Gibson
Data types: See Abstraction, see Type Theory.
Dependability: See Reliability.
Design automation: See Computer-aided design.
Diagnosis and diagnostic reasoning: Maxion
Dialog Systems: Rosenfeld, Rudnicky
Digital video: Christel, Faloutsos, Wactlar
Digital Hardware Design: Hoe
Discovery, scientific: Maxion, Mitchell
Distributed systems: Clarke, Dannenberg, Ganger, Goldstein, Guestrin, Harchol-Balter, Perrig, Reiter, Satyanarayanan, Seshan, Song, Steenkiste, Wing, Zhang
Dynamical systems: Guestrin, Langmead

Education, computer science: Brookes, Pausch, Pfenning, Shaw
Educational technology: Christel, Dannenberg, Pausch
Electronic commerce: Fink, Perrig, Sandholm, Shamos, Song, Wing
Embedded systems: Guestrin, Perrig, Wing
Emergent computation: Goldstein
Experimentation: Carbonell, Harchol-Balter, Maxion, Mitchell, Satyanarayanan
Expert systems: See Knowledge-based systems.
Explanation: Mitchell
Eye-tracking: Maxion, Waibel

Face tracking: Waibel
Fault tolerance: See Reliability.
File systems: Ganger.
File usage properties: Ganger, Satyanarayanan
Fine-grained parallelism: Goldstein
Formal methods: Aldrich, Garlan, Langmead, Wing
Formal methods in AI: Fink, Garlan, Mitchell
Forsythe: Reynolds
Foundations of mathematics: Harper
Fourier analysis - O’Donnell
Functional programming: Blelloch, Harper, P. Lee, Pfenning, Reynolds

Game-playing, computer: Rudich, Sandholm, Sleator
Game theory: Guestrin, Moore, Sandholm
Geometric reasoning: Erdmann
Gesture recognition: Waibel
Graph Embeddings: Gupta, O’Donnell
Graph mining: Xing
Graphical models: Guestrin, Xing
Graphics: Efros, Hodgins, Pausch, Pollard

Hand-eye systems: Mitchell
Handheld Devices: Myers
Heuristic Search: Fink, Moore, Sandholm
Higher-order logic: See Type theory.
Human-computer interaction: Carbonell, Christel, Cranor, Dannenberg, Fahlman, John,
Koedinger, Maxion, Myers, Pausch, Perrig, Reddy, Rosenfeld, Rudnicky, Shaw, Waibel
Human-robot social interaction: Simmons
Human factors: Cranor, Hauptmann, John, Maxion, Myers, Pausch, Rosenfeld, Rudnicky, Waibel
Human language technology: Rosenfeld, Waibel
Human machine speech communication: Rosenfeld
Humanoid Robotics: Hodgins, Pollard

Image understanding: See Vision.
Information retrieval: Carbonell, Fink, Guestrin, Lafferty, Mitchell, Ng, Xing, Yang
Information systems: Wactlar
Information systems management: Ng
Information visualization: Christel, Ng
Input/Output: Ganger
Integrated-services networks: Harchol-Balter, Seshan
Intelligent architectures: Carbonell, Fink, John, Mitchell, Simmons
Intelligent tutoring systems: Dannenberg
Interactive graphic programming: Myers, Pausch
Internet: Ganger, Harchol-Balter, Perrig, Seshan, Song, Zhang
Internet security: Perrig, Song, Wing
Internet services: O’Hallaron
Interprocess communication: Blelloch
Intersection types: Reynolds

Knowledge acquisition: Carbonell, Maxion, Mitchell
Knowledge management: Ng
Knowledge-based systems: Carbonell, Fahlman, Fink, John, Mitchell
Knowledge representation: Carbonell, Fahlman, Fink, Mitchell

Lambda calculus: Harper, Pfenning
Language acquisition:Waibel
Language design: Aldrich, Wing
Language implementation: Blelloch, Harper, P. Lee
Language modelling: Carbonell, Lafferty, Rosenfeld
Learning theory: Blum, Fink, Guestrin, Lafferty, Rudich, Veloso, Xing
Library: Christel, Wactlar
Linear algebra, computational: G. Miller
Linguistics: See Computational Linguistics.
Lipreading: Waibel
Lisp: Clarke, Fahlman
Logic: Brookes, Harper, Pfenning
Logical frameworks: Aldrich, Harper, Pfenning
Logics of programs: Brookes, Clarke, Harper, Pfenning
Machine learning: Carbonell, Efros, Fahlman, Fink, Guestrin, Lafferty, Langmead, Maxion, Mitchell, Moore, Ng, Reddy, Rosenfeld, Sandholm, Waibel, Xing

Machine translation: Carbonell, Hauptmann, Lafferty, Waibel, Xing
Manipulation: Erdmann, Mason, Mitchell, Pollard
Manufacturing: Guestrin, Moore
Markov models: Guestrin, Harchol-Balter, Langmead, Simmons, Wing, Xing
Mathematics of computation: G. Miller, O’Donnell, Rudich
Measurement and evaluation: Harchol-Balter, Maxion, Satyanarayanan, Seshan, Wing
Medical robotics/computer-assisted surgery: Kanade
Metro Networks: Zhang
Mobile computing: Guestrin, Myers, O’Hallaron, Pausch, Perrig, Satyanarayanan, Seshan, Siewiorek,
Song

Mobile robotics: Goldstein, Guestrin, Mitchell, Moore, Simmons
Model checking: Aldrich, Langmead, Wing
Monitoring and error recovery: Simmons
Motion planning: Erdmann, Moore
Multiagent learning: Guestrin, Veloso
Multiagent systems: Guestrin, Sandholm, Veloso
Multicast: Perrig, Seshan, Song, Zhang
Multicast Security: Song
Multicomputers: Goldstein
Multilingual Spoken Language Systems: Waibel
Multimedia: Christel, Dannenberg, Kanade, Ng, Wactlar
Multimodal interfaces: Pausch, Rosenfeld, Rudnicky, Waibel
Multiprocessors: Garlan, Goldstein, Harchol-Balter
Multirobot coordination: Goldstein, Guestrin, Simmons
Multirobot systems: Goldstein, Guestrin, Veloso
Music, computer: Dannenberg
Mutable data structures: Reynolds

Nanotechnology: Goldstein
Natural language processing: See Computational Linguistics.
Network-aware applications: Ganger, Harchol-Balter, Seshan, Steenkiste
Network forensics: O’Hallaron
Network Management: Zhang
Network multiplayer games: Seshan
Network protocols: Ganger, Harchol-Balter, Perrig, Satyanarayanan, Seshan, Steenkiste
Network security: O’Hallaron
Network simulation: Seshan
Networking: Ganger, Guestrin, Harchol-Balter, Perrig, Seshan, Song, Steenkiste,
Wactlar
Networking Protocols: Song
Networking Security: Perrig, Song
Neural Networks: Blum, Fahlman, Waibel

Numerical methods: G. Miller

Object-oriented programming: Aldrich, Myers, Wing
Operating systems: Ganger, Wactlar
Overlay Networks: Seshan

Parallel AI: Fahlman
Parallel applications: Harchol-Balter
Parallel architectures: Blelloch, Goldstein, Harchol-Balter, G. Miller
Parallel models of computation: Blelloch, G. Miller
Parallel object oriented languages: Goldstein
Parallel processing: Blelloch, Brookes, Bryant, Clarke, Steenkiste
Parallel programming: Aldrich, Blelloch, Steenkiste
Parallel systems: Harchol-Balter
Parallelizing compilers: Goldstein
Parsing, natural language: Carbonell, Lafferty, Sleator
Pattern Recognition: Guestrin, Lafferty, Waibel
Peer-to-Peer Systems: Zhang
Perception, auditory: Stern
Performance evaluation: Ganger, Harchol-Balter, Maxion, Satyanarayanan,
Seshan
Performance modeling: Harchol-Balter
Pervasive Computing: Cranor, Garlan, Perrig, Reiter, Song
Physical simulation: O’Hallaron
Planning: Blum, Carbonell, Erdmann, Fahlman, Fink, Guestrin, Mason, Mitchell, Simmons,
Veloso
Polymorphism: Harper, Pfenning, Reynolds
Power management: Satyanarayanan, Siewiorek
Privacy: Cranor, Wing
Probabilistically checkable proofs (PCP) - O’Donnell
Probability theory: Harchol-Balter, O’Donnell
Problem-solving: Carbonell, Erdmann, Fahlman, Fink, Mitchell
Probabilistic planning: Guestrin, Simmons
Program analysis: Aldrich, P. Lee
Program manipulation tools: Myers, Scherlis
Program optimization: Goldstein
Program result checking: M. Blum
Program synthesis: Erdmann, Mason, Perrig, Song
Program transformation: Blelloch, Brookes, Scherlis
Program visualization: Garlan, Myers
Programmable Matter: Goldstein
Programming environments: Dannenberg, Fahlman, Garlan, Myers, Pausch, Scherlis, Shaw
Programming languages: Aldrich, Blelloch, Brookes, Clarke, Dannenberg, Fahlman, Harper,
P. Lee, Myers, Pfenning, Reynolds, Scherlis, Shaw, Wing
Programming methodology: Brookes, Clarke, Garlan, Myers, Pausch, Pfenning, Scherlis, Shaw, Wing
Proof carrying code: P. Lee
Proof theory: Harper, Pfenning
Proteomics: Erdmann, Langmead
Protocols: Harchol-Balter, Perrig, Rudich, Satyanarayanan, Seshan
Protocol Analysis: Aldrich, Harchol-Balter, John, Perrig, Seshan, Song
Psychology: John, Maxion, Rudnicky

QoS Management: Seshan, Zhang
Quality of Life Institute: Christel, Hauptmann, Wactlar
Query optimization: Guestrin
Queueing Theory: Harchol-Balter
Queueing Analysis: Harchol-Balter

Random number generation: M. Blum
Randomization: Erdmann, Gupta, O’Donnell, Rudich
Real-time networks: Harchol-Balter, Seshan
Real-time systems: Dannenberg, Harchol-Balter, Seshan
Reconfigurable Computing: Garlan, Goldstein
Recursion theory: M. Blum
Reflection: Mitchell
Reinforcement learning: Guestrin, Moore
Reliability: Ganger, Goldstein, Guestrin, Maxion, Perrig, Satyanarayanan, Shaw, Siewiorek,
Song, Wing
Remote sensing: Guestrin
Requirements analysis: Maxion
Resource-bounded reasoning: Sandholm
Resource management: Harchol-Balter, Seshan
Robot programming: Erdmann, Goldstein, Mason, Touretzky
Robotics: Erdmann, Goldstein, Guestrin, Hodgins, Kanade, Mason, Mitchell, Pollard
Scalable Systems: Zhang
Scheduling: Fink, Harchol-Balter, Moore
Scientific discovery: Maxion, Mitchell
Scientific computing: O'Hallaron
Search: Fink, Sandholm
Security: Cranor, Ganger, Maxion, Perrig, Reiter, Satyanarayanan, Song, Wing
Self-managing systems: Garlan, Ganger, Gibson
Semantic networks: Fahlman
Semantics-based program analysis: P. Lee
Semantics-based compiler generation: P. Lee
Semantics-based program manipulation: Scherlis
Semantics of programming languages: Aldrich, Brookes, Clarke, Harper, P. Lee, Pfenning,
Reynolds, Wing
Sensing, action, prediction: Erdmann
Sensor networks: Guestrin, Perrig
Separation Logic: Reynolds
Signal processing: Dannenberg, Stern
Simulation: Bryant, Harchol-Balter, Hodgins
Software architectures: Aldrich, Garlan, Scherlis, Shaw
Software design methods: Garlan, Shaw
Software engineering: Aldrich, Garlan, Myers, Scherlis, Shaw, Wing
Software security: Garlan, Wing
Spatial reasoning and representation: Erdmann, Mason
Specialized architectures: Goldstein
Special-purpose systems: Goldstein
Specification: Aldrich, Brookes, Clarke, Garlan, Harper, P. Lee, Pfenning, Reynolds, Shaw,
Wing
Speech recognition: Rosenfeld, Stern, Waibel
Speech synthesis: Hauptmann
Speech translation: Waibel
Speech understanding: Hauptmann, Reddy, Rosenfeld, Rudnicky, Stern, Waibel
Statistics: Guestrin, Harchol-Balter, Lafferty, Moore, Rosenfeld, Xing
Stochastic modeling: Guestrin, Harchol-Balter, Lafferty, Langmead, Rosenfeld, Waibel, Xing
Stochastic processes: Guestrin, Harchol-Balter, Langmead
Storage: Ganger
Structural Homology: Erdmann
Sufficient correctness: Shaw
Survivable Systems: Ganger, Maxion, Perrig, Song, Wing
Supercomputers: Blelloch, Goldstein, Harchol-Balter, Reddy
Symbolic computation: Bryant
Systems Nanotechnology: Goldstein

Tactile sensing: Mason
Task representation: Moore
Task-level control: Simmons
Text processing: Carbonell, Lafferty, Rosenfeld, Xing
Theory formation: Mitchell
Transfer principles for complexity theory: L. Blum
Type theory: Aldrich, Harper, P. Lee, Pfenning, Reynolds

Ubiquitous computing: Cranor, Garlan, Perrig,Song
Usability evaluation: Cranor, John, Maxion, Myers, Pausch
Usable security: Cranor
User-centered requirements: Myers, Shaw
User models: John, Maxion

Verification: Aldrich, Brookes, Bryant, Clarke, Garlan, Harper, Reynolds, Simmons, Song, Wing
Virtual machines: O’Hallaron
Virtual(ized) reality: Kanade, Pausch
Vision: Efros, Kanade
Vision, 3D: Kanade
Visual programming: Garlan, Myers
Visualization: Christel, Myers, Pausch
VLSI: Blelloch, Brookes, Bryant, Clarke, Goldstein
VLSI-based sensors: Kanade

Web Servers: Harchol-Balter
Wireless Networks: Guestrin, Perrig, Seshan, Song