www-team  cs.cmu.edu |
Faculty (C)
|
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
|
Jamie Callan
Professor, LTI 
|
Office: GHC 5419
Phone: 412-268-4525
Fax: 412-268-6298
 www |
Information retrieval models; search engine architectures; adaptive information filtering; text analysis and organization; and text mining.
| |
|
Jaime Carbonell
Director-LTI/Professor CS, LTI
|
Office: GHC 6721
Phone: 412-268-7279
Fax: 412-268-6298
www |
Artificial intelligence, natural-language processing, machine learning, machine translation
| |
|
Kathleen M. Carley
Director CASOS, Professor, ISR
|
Office: Wean Hall 1323
Phone: 412-268-6016
Fax: 412-268-1744
www |
Network science, dynamic network analysis, link analysis, multi-agent simulation, text-analysis in support of interdisciplinary research linking computation to complex socio-cultural phenomenon
| |
|
Jacobo Carrasquel
Associate Teaching Professor and Freshman Advisor for the School of Computer Science
|
Office: GHC 6009
Phone: 412-268-6729
Fax: 412-268-5573
www |
Introductory Programming Group, SCS representative in Educational Facilities Committee
| |
|
Lynn Robert Carter
Associate Teaching Professor, ISR
|
www |
To establish a new level of performance, responsiveness, predictability and quality in large, embedded, and complex system architecture, design, development, deployment, and operations activities.
| |
|
Iliano Cervesato
Associate Teaching Professor, CSD (Qatar)
|
Office: CMU-Q 1008
Phone: 974-454-8643
Fax: 974-492-8255
www |
Computational logic; linear logic; logical frameworks; theory of programming languages; security protocol verification.
| |
|
Howard Choset
Associate Professor, RI
|
Office: NSH 3211
Phone: 412-268-2495
Fax: 412-268-3348
www |
Sensor based motion planning, motion planning, mobile robots, sensor placement, Voronoi diagrams, computational geometry, manufacturing
| |
|
Mike Christel
Research Professor, ETC, and Senior Systems Scientist, CSD
|
Office: Pgh Technology Center 3101
Phone: 412-268-7799
Fax: 412-268-5807
www |
Multimedia processing, information visualization, and digital video libraries, focusing on interface development and evaluation
| |
|
Edmund M. Clarke
FORE Systems Professor of Computer Science, CSD
|
Office: GHC 9231
Phone: 412-268-2628
Fax: 412-268-5576
www |
Hardware and Software Verification using Model Checking
| |
|
William Cohen
Associate Research Professor, Machine Learning Department
|
Office: GHC 8217
Phone: 412-683-7664
Fax: 412-268-3431
|
| |
|
Eric C. Cooper
Distinguished Service Professor, CSD
|
Office: GHC 4109
Phone: 412-268-5295
www |
Programming languages, operating systems, networks, and open-source software, commercialization of information technology
| |
|
Albert Corbett
Associate Research Professor, HCII
|
Office: NSH 3605
Phone: 412-268-8808
Fax: 412-268-1266
www |
The development and evaluation of computer-based learning environments
| |
|
Tom Cortina
Associate Teaching Professor, CSD
|
Office: GHC 6017
Phone: 412-268-3514
Fax: 412-268-5576
www |
Computer Science education
| |
|
Lorrie Cranor
Associate Professor, ISR
|
Office: CIC 2207
Phone: 412-268-7534
Fax: 412-268-7287
www |
Privacy, usable privacy and security software, computers and
society, technology policy, voting
| |
|
Karl Crary
Associate Professor, CSD
|
Office: GHC 9217
Phone: 412-268-7687
Fax: 412-268-5576
www |
Programming languages, type theory, logic, certified code, and machine-readable proofs.
| |
|
|
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
|
|
Gates and Hillman Centers Photo Tour