www-team  cs.cmu.edu |
Faculty (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
|
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
|
|