SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon

Gates and Hillman Centers Photo Tour

Computer Science Department

Human-Computer Interaction Inst

Institute for Software Research

Lane Ctr for Computational Biology

Language Technologies Institute

Machine Learning Department

Robotics Institute

Entertainment Technology Center

Extended Menu

Contact Info

Faculty (A, B)

Page 1: A, B,
Page 2: C, D, E, F
Page 3: G, H, I, J
Page 4: K, L, M, N,
Page 5: O, P, Q, R, S
Page 6: T, U, V, W, X, Y, Z
Directory, Adjunct Faculty

Name	Contact Info	Primary Research/Professional Interests
Victor Adamchik Associate Teaching Professor, CSD	Office: GHC 7719 Phone: 412-268-8121 Fax: 412-268-5573 www	Computational Mathematics, Computer Algebra and Experimental Mathematics

Jonathan Aldrich Associate Professor, ISR	Office: 8212 Wean Hall Phone: 412-268-7278 Fax: 412-268-7287 www	Applying language and program analysis techniques to software engineering problems

Vincent Aleven Associate Professor, HCII	Office: NSH 2621 Phone: 412-268-5475 Fax: 412-268-1266 www	Intelligent tutoring systems and deep understanding, conjecturing and argumentation, case-based reasoning

Omead Amidi Senior Systems Scientist, RI	Office: NSH 4107 Phone: 412-268-3210 Fax: 412-268-5571 www

David Andersen Assistant Professor, CSD	Office: GHC 9109 Phone: 412-268-3064 Fax: 412-268-5576 www	Computer systems in the networked environment

John Anderson University Professor Psychology-Comp Sci, PSY	Office: Baker H. 345D Phone: 412-268-2788 Fax: 412-268-2844 www	ACT theory and architecture of cognition, to understand how people acquire and organize knowledge and produce intelligent behavior

Dimitrios Apostolopoulos Senior Systems Scientist, RI	Office: NSH 1105/NREC 205 Phone: 412-681-5901 Fax: 412-681-6961 www	Robot design, robots for extreme environments, robotic mobility, mechanisms, analysis, control

Raghu Arunachalam Systems Scientist, ISR	Office: EDSH 226 Phone: 412-268-3053

Christopher Atkeson Professor, RI/HCII	Office: NSH A527 Phone: 412-268-5544 Fax: 412-268-6436 www	Machine learning and robotics as a domain in which to explore the behavior of learning algorithms

James Bagnell Assistant Research Professor, REC	Phone: 412-681 8669

Ziv Bar-Joseph Associate Professor, Machine Learning Department	Office: GHC 8006 Phone: 412-268 8595 Fax: 412)268-2205 www	Computational biology, systems biology, time series analysis, and applied machine learning

John Bares Research Professor and Director NREC, RI	Office: REC 228 Phone: 412-268-7091 Fax: 412-681-5895 www	The full cycle conception to testing of intelligent machines for hazardous environments, construction, and heavy industry applications

Darrin Bentivegna Systems Scientist, RI	Phone: 412-268 5909

Marcel Bergerman Systems Scientist, RI	Office: NSH 4225 Phone: 412-268-8074 www	Guidance, navigation, and control of unmanned vehicles; Technological innovation, innovation management.

Alan Black Associate Research Professor, LTI	Office: GHC 5701 Phone: 412-268-6299 Fax: 412-268-6298 www	Practical implementations of computational theories of speech and language Making computer speech synthesis as natural, flexible, and efficient as human speech.

Guy Blelloch Professor, CSD	Office: GHC 9211 Phone: 412-268-6245 Fax: 412-268-5576 www	Thread scheduling, parallel algorithms, NESL language, provably efficient language implementations, pipelining with futures, multiprocessor garbage collection, multibank memory systems

Avrim Blum Professor, CSD	Office: GHC 8111 Phone: 412-268-6452 Fax: 412-268-5576 www	Machine learning theory, approximation algorithms, on-line algorithms, and analysis of heuristics

Lenore Blum Distinguished Career Professor, CSD	Office: GHC 7105 Phone: 412-268-8139 Fax: 412-683-5576 www	Complexity and real computation; transfer theorems for complexity theory; ALADDIN Center, Project Olympus and Women@SCS

Manuel Blum Bruce Nelson Professor of Computer Science, CSD	Office: GHC 7205 Phone: 412-268-3742 Fax: 412-268-5576 www	Algorithms, complexity theory, cryptography, human interactive proofs

David Bourne Principal Systems Scientist, RI	Office: NSH 1612C Phone: 412-268-7811 Fax: 412-268-5569	The design and implementation of flexible machines, mechanical hardware, electronics, control and software

Daniel Boyarski Professor, Design	Office: MMC 110 Phone: 412-268-6842	How words, images, motion, and sound work together to produce effective communication pieces

Stephen Brookes Professor, CSD	Office: GHC 9017 Phone: 412-268-8820 Fax: 412-268-5576	Mathematical theory of computation, theory of programming languages, the mathematical semantics of programming languages

Ralf Brown Senior Systems Scientist, LTI	Office: GHC 5711 Phone: 412-268-8298 www

Brett Browning Systems Scientist, RI	Office: NSH 3220 Phone: 412-268-6021 Fax: 412-268-4801 www

Randal Bryant Dean, School of Computer Science	Office: GHC 5113 Phone: 412-268-8821 Fax: 412-268-5497 www	Formal verification of hardware and embedded systems; data structures and algorithms for representing and reasoning about different classes of logic

Page 1: A, B,
Page 2: C, D, E, F
Page 3: G, H, I, J
Page 4: K, L, M, N,
Page 5: O, P, Q, R, S
Page 6: T, U, V, W, X, Y, Z
Directory, Adjunct Faculty