2005-06 Peterson's Guide Computer Science Department

Victor Adamchik, Associate Teaching Professor.
Computational mathematics, special functions, computer algebra.

Anastassia Ailamaki, Assistant Professor.
Database system design and performance, cache-resident databases, architecture-conscious database systems, database workload characterization, internet querying.

Jonathan Aldrich, Assistant Professor (SE).
Programming languages, program analysis, type systems, formal methods, and software engineering.

David Andersen, Assistant Professor.
Networks, distributed systems, resilient networked systems, wireless and overlay networks.

Ziv Bar-Joseph, Assistant Professor (CS/ML).

Guy Blelloch, Professor.
Compilers, parallel architectures, parallel languages, parallel algorithms.

Avrim Blum, Professor.
Machine learning theory, on-line algorithms, approximation algorithms.

Lenore Blum, Distinguished Career Professor.
Complexity and real computation.

Manuel Blum, University Professor.
Theoretical computer science.

Stephen Brookes,Professor.
Mathematical theory of computation, theory of programming languages, semantics of programming languages.

Randal Bryant, Professor and Dean. Formal verification of hardware and embedded systems. Data structures and algorithms for representing and reasoning about different classes of logic.

Jaime Carbonell, Professor (LTI/CS).
Artificial intelligence, natural-language processing, machine learning, machine translation.

Jacobo Carrasquel, Associate Teaching Professor.

Michael Christel, Senior Systems Scientist.
Digital video interfaces, information visualization, digital libraries.

Edmund Clarke, FORE Professor.
Hardware and software verification, automatic theorem proving, symbolic computation, parallel algorithms and programming, applications of logic to problems in computer science.

Tom Cortina, Lecturer.

Karl Crary, Associate Professor.
Programming languages and compilers, type theory, code certification, functional programming.

Roger Dannenberg, Associate Research Professor (CS/Art). Computer music, interactive real-time systems.

David Eckhardt, Associate Teaching Professor.
Operating systems, networking.

Dannie Durand, Associate Professor (BIO/CS).
Computational molecular biology and genomics; evolution of genomic organization and function.

Alexei Efros, Assistant Professor (RI/CS).
Computer graphics, computer vision.

Michael Erdmann, Professor.
Robotics: mechanics of manipulation, shape sensing, uncertainty. Computational Molecular Biology: protein folding, homology.

Scott Fahlman, Research Professor (LTI/CS).
Artificial Intelligence, knowledge representation, machine learning.

Babak Falsafi, Associate Professor (ECE).
Nanoscale processor architectures, memory systems, multiprocessor architectures, and performance evaluation techniques.

Christos Faloutsos, Professor.
Data mining for graphs, sensors and multimedia; fractals; database performance.

Alan Frieze, Professor (Mathematics).

Greg Ganger, Associate Professor (ECE).
Operating systems, storage/file systems, security, networking, and distributed systems

David Garlan, Associate Professor (SE/CS).
Software engineering, software architecture, pervasive computing, formal methods, self-healing systems.

Garth Gibson, Associate Professor.
Computer systems, computer architecture, operating systems, file systems, storage systems, networking.

Seth Copen Goldstein, Associate Professor.
Compilers and architectures for Electronic Nanotechnology, reconfigurable computing. Programmable matter and claytronics.

Carlos Guestrin,Assistant Professor (ML/CS).

Ananda Gunawardena, Associate Teaching Professor.
Adaptive e-learning systems.

Anupam Gupta, Assistant Professor.
Approximation algorithms, metric embeddings, network algorithms.

Mor Harchol-Balter, Associate Professor.
Distributed computing, performance analysis, scheduling and resource allocation, workload characterization.

Robert Harper, Professor.
Programming languages, type theory, logical frameworks, certifying compilers, mechanized reasoning, verification .

Alexander Hauptmann, Senior Systems Scientist.
Multimedia digital libraries, information retrieval from speech and video.

James Hoe, Associate Professor (ECE). Computer architecture, high-level hardware description and synthesis.

Timothy Hoffman, Lecturer.

Jessica Hodgins, Professor (RI/CS).
Computer graphics, computer animation, dynamic simulation, humanoid robotics.

Doug James, Assistant Professor (RI/CS).
Computer graphics, physically based modeling, interactive simulation, precomputation of physical systems.

Takeo Kanade, University Professor.
Computer vision, virtualized reality, autonomous mobile robots, medical robotics, sensors.

James Kuffner, Assistant Professor (RI).
Robotics, motion planning, computer graphics, computer animation.

John Lafferty, Associate Professor (CS/LTI/ML).
Machine learning, algorithms for probabilistic inference, text processing and information retrieval

Peter Lee, Professor.
Compilers for advanced programming languages, semantics-based analysis and optimization, application of advanced languages to systems programming, functional programming, formal semantics.

Tai Sing Lee, Associate Professor (CNBC/CS).
Biological and computer vision, neural code, neural computation and modeling.

Jill Lehman, Associate Research Professor (Adjunct).
Cognitive architecture, natural language, applications to cognitively-impaired populations.

Michael Lewicki, Associate Professor (CNBC/CS).
Computational neuroscience, artificial intelligence, computational vision and audition

Bruce Maggs, Professor.
Networks for parallel and distributed computing systems.

Matt Mason, Professor (RI/CS).
Robotics, mobile manipulators, mechanics of manipulation, manufacturing automation.

Roy Maxion, Principal Systems Scientist.
Computer dependability and security; intrusion, insider and masquerade detection; dependable user interfaces; autonomic systems; machine learning.

James McClelland, University Professor (PSYCH/CNBC).
Parallel Distributed Processing models of learning, memory, language, and cognitive development

Scott McElfresh, Lecturer.

David McKeown, Research Professor.
Image understanding, remote sensing, cartography, visualization of geospatial databases.

Gary Miller, Professor.
Parallel computation; sparse matrix, graph and number-theoretic algorithms.

Tom Mitchell, Professor (ML/CS).
Machine learning, brain imaging, intelligent web agents, data mining, artificial intelligence.

Andrew Moore, Professor (RI/CS).
Robotics, researching machine learning for complex control problems.

James Morris,Professor and Dean, SV Campus.
Distributed personal computer systems, software engineering, functional programming, user interfaces.

Todd Mowry, Associate Professor.
Computer architecture, compilers, operating systems, parallel processing, and database performance.

David O'Hallaron, Associate Professor (CS/ECE).
Computer systems, scientific computing, computational database systems, mobile computing.

Christopher Olston, Assistant Professor.
Data stream management, web search, data visualization.

Richard Pattis, Associate Teaching Professor and Freshman Advisor.

Randy Pausch, Professor (HCII/CS.
Human computer interaction, virtual reality, interactive 3D computer graphics, theme park and other entertainment technologies, time management.

Adrian Perrig, Assistant Professor (ECE/CS/EPP).
Computer and Network Security, Applied Cryptography, Security Policy, Sensor Networks.

Frank Pfenning, Professor.
Logic and computation, type theory, functional programming, automated deduction, trustworthy computing.

Nancy Pollard, (RI/CS).
Computer graphics, humanoid robotics, planning and control for grasping and manipulation.

R. Ravi, Associate Professor (GSIA/CS).
Approximation algorithms, combinatorial optimization, computational biology.

Raj Reddy, University Professor.
Artificial intelligence, speech recognition and understanding, integrated manufacturing systems.

Michael Reiter, Professor (ECE/CS).
Computer security, distributed computing, applied cryptography

John Reynolds, Professor.
Programming language design, specification and verification of programs, mathematical semantics.

James Roberts, Principal Lecturer.

Roni Rosenfeld, Professor (LTI/ML).
Computational biology and biological language modeling. Speech interfaces, speech and language technologies.

Steven Rudich, Professor.
Complexity theory, cryptography, combinatorics, probability.

Alexander Rudnicky, Principal Systems Scientist.
Speech recognition, spoken language interaction, interface design, dialog systems.

Tuomas Sandholm, Professor.
Ecommerce, game theory, artificial intelligence, auctions, automated negotiation, combinatorial optimization, bounded rationality.

M. Satyanarayanan, Carnegie Group Professor.
Mobile and pervasive computing, distributed file systems, measurement and evaluation, security.

Bradley Schmerl, Senior Systems Scientist.
Software engineering, Software architectures, programming enviroments, pervasive computing, dynamic reconfiguration.

Russell Schwartz, Assistant Professor (Biological Sciences/CS).
Computational molecular biology, biological modeling and simulation, computational genetics/genomics.

Dana Scott, University Professor (emeritus).
Semantics of computer languages, computer algebra.

Srinivasan Seshan, Associate Professor.
Network protocols/services/applications, distributed systems, mobile computing, and wireless networks.

Mary Shaw, Perlis Professor (SE/CS).
Software architecture, software engineering, programming systems and methodologies.

Daniel Siewiorek,University Professor and Director HCI Institute.
Computer architecture, fault-tolerant computing, design automation, parallel processing, mobile computing, rapid prototyping.

Reid Simmons, Associate Research Professor (RI/CS).
Autonomous mobile robots, robot architectures, multi-robot coordination, human-robot social interaction, planning and task execution, diagnosis.

Donald J. Slater, Lecturer.

Daniel D. Sleator, Professor.
Data structures, graph algorithms, on-line algorithms, parsing natural languages.

Dawn Song, Assistant Professor (ECE/CS). Systems and networking security, software security, database security, applied cryptography, algorithms.

Peter Steenkiste, Professor (CS/ECE).
Networking, wireless networks, pervasive computing, distributed systems.

Mark Stehlik, Principal Lecturer and Assistant Dean for Undergraduate Education.

Richard Stern, Professor (ECE).

Klaus Sutner, Associate Teaching Professor and Dean of the Undergraduate Program.
Automata theory, computer algebra.

David Touretzky, Research Professor (CS/CNBC).
Computational neuroscience, spatial representations in the brain, animal and robot learning.

Manuela Veloso, Professor.
Artificial Intelligence; planning, execution, and learning in autonomous agents; multiagent and multirobot systems; robot soccer

Howard Wactlar, Research Professor.
Information systems, digital libraries, distributed operating systems and networking.

Jeannette Wing, Professor and Department Head.
Formal specification, software security, trustworthy systems, distributed systems, programming methodology

Eric Xing, Assistant Professor (ML).
Machine learning, computational biology, statistical genetics. Algorithms for probabilistic inference/learning, evolutionary genomics and information retrieval.

Yiming Yang, Associate Professor (LTI/CS).
Information Retrieval, researching in machine learning applied to text classification, translingual retrieval and text mining.

Hui Zhang, Professor.
Computer Networks, Internet, Quality of Service, distributed systems.