 |
 |
 |
Name |
Address |
Research Interests |
Anshul Gandhi
 |
Office: Wean Hall 7201
412-268-3041
412-268-5576 (fax)
anshulg cs.cmu.edu
www |
Performance analysis and design of computer systems. |
|
Samuel Ganzfried
 |
412-268-5576 (fax)
sganzfri cs.cmu.edu
www
|
Game theory, artificial intelligence, algorithms, and human computation |
|
Deepak Garg
 |
Office: Wean Hall 8121
412-268 5943
412-268-5576 (fax)
dg+ cs.cmu.edu
www
|
- Logics for security, access control logics, proof-carrying authorization
- Linear, modal, epistemic logics
- Proof theory, proof search
- Concurrent languages, esp. process calculi and type systems
- Logic, declarative programming
|
|
Anthony Gitter
 |
Office: Wean 3719
412-268 8187
412-268-5576 (fax)
agitter cs.cmu.edu
www |
Computational biology and machine learning |
|
| Michelle Goodstein |
Office: Wean Hall 4126
412-268 1188
412-268-5576 (fax)
mgoodste cs.cmu.edu
www
|
|
|
| Alexander Grubb |
Wean Hall 8309
412-268 8078
412-268-5576 (fax)
agrubb1 .cmu.edu |
|
|
Fan Guo
|
Office:
Wean Hall 1315
412-268 5941
412-268-5576 (fax)
fanguo cs.cmu.edu
www
|
Machine Learning, Data Mining |
|
Varun Gupta
 |
412-268 2000
412-268-5576 (fax)
varung andrew.cmu.edu
|
Algorithms Design and Analysis |
|
| Severin Hacker |
412-268 1023
412-268-5576 (fax)
shacker andrew.cmu.edu
www |
|
|
| Dongsu Han |
412-268 7555
412-268-5576 (fax)
dongsuh cs.cmu.edu |
|
|
Nikolaos Hardavellas
 |
412-268 6476
412-268-5576 (fax)
nikos.hardavellas cs.cmu.ed
www
|
Multiprocessor Architecture, Microprocessor Architecture, Database Systems, Distributed Systems |
|
| Cody Hartwig |
412-268-5576 (fax)
chartwig cs.cmu.edu
www
|
|
|
James Hays
 |
Office: Wean Hall 3705
412-268 5636
412-268-5576 (fax)
jhhays cs.cmu.edu
www |
Computer vision and graphics |
|
James Hendricks
 |
Office:
CIC 2220E
412-268 5537
412-268-5576 (fax)
jimi cs.cmu.edu
www |
|
|
| Laura Hiatt |
Office: 3108 NSH
412-268 4860
412-268-5576 (fax)
lahiatt cs.cmu.edu
www |
Systems of autonomous agents |
|
| Q Youn Hong |
412-268 5941
412-268-5576 (fax)
qhong cs.cmu.edu |
|
|
Sue Ann Hong
 |
Office: Wean 4112
412-268 3047
412-268-5576 (fax)
sahong cs.cmu.edu
www |
Machine learning algorithms |
|
Rebecca Hutchinson
 |
Office: Wean 3708
412-268 8184
412-268-5576 (fax)
rah cs.cmu.edu
www |
Machine learning, specifically graphical models and learning from high-dimensional sparse data |
|
Himanshu Jain
 |
412-268 3047
412-268-5576 (fax)
hjain cs.cmu.edu
www |
Applying techniques from model checking, static analysis, programming languages, dynamic analysis, theorem proving, testing for building secure software and hardware systems |
|
Sumit Jha
 |
412-268 2000
412-268-5576 (fax)
sumitj andrew.cmu.edu |
|
|
| Kaushik Kalambur Lakshminarayanan |
Office: Wean Hall 8218
412-268-7555
412-268-5576 (fax)
kaushik cs.cmu.edu |
|
|
| Hetunandan Kamichetty |
412-268 3564
412-268-5576 (fax)
hetu cs.cmu.edu
www |
Computational Biology and Machine Learning |
|
U Kang
 |
Office: 300 South Craig St. 277
ukang andrew.cmu.edu
www |
Graph mining and information retrieval with emphasis on large graphs |
|
| Ryan Kelly |
Office: Wean Hall 8104
412-268 2582
412-268-5576 (fax)
rkelly cs.cmu.edu
www |
|
|
Gunhee Kim
 |
Office: Wean Hall 4216
gunhee cs.cmu.edu |
Computer vision, machine learning, data mining, and robotics |
|
Hyang-Ah Kim
 |
Office: Wean Hall 8121 412-268-3069
hakim cs.cmu.edu
www
|
|
|
| William Klieber |
Wean 3713
412-268 5944
412-268-5576 (fax)
wklieber andrew.cmu.edu |
Automated formal methods of verifying properties of software |
|
| Aleksey Kliger |
Office: 8114 Wean
412-268 3056
412-268-5576 (fax)
aleksey cs.cmu.edu
www |
Type theory, programming language design, logical frameworks, certified code (typed assembly languages and proof-carrying code), garbage collection, parametricity and safety |
|
David Koes
 |
412-268 1685
412-268-5576 (fax)
dkoes cs.cmu.edu
www |
Compiler optimization |
|
| Anvesh Komuravelli |
|
|
|
| Elie Krevat |
Doherty Hall 4301F
412-268 7638
412-268-5576 (fax)
ekrevat andrew.cmu.edu |
|
|
| Jayant Krishnamurthy |
|
|
|
| Neelakantan Krishnaswami |
412-268 3070
412-268-5576 (fax)
neelk cs.cmu.edu
www |
|
|
| Kaushik Kalambur Lakshminara |
412-268 7555
412-268-5576 (fax)
kaushik cs.cmu.edu
www |
|
|
| Ravishankar Krishnaswamy |
Office: Wean Hall 3713
412-268-5944
412-268-5576 (fax)
ravishan andrew.cmu.edu
www |
|
|
| Avijit Kumar |
Office: Wean Hall 8101
412-268-3060
412-268-5576 (fax)
kavijit andrew.cmu.edu |
|
|
| Doru Kyrola Aapo |
|
|
|
Manfred Lau
 |
Office: Newell Simon Hall 4224
412-268 4854
412-268-5576 (fax)
mlau cs.cmu.edu
www |
Computer graphics, computer animation, and motion planning |
|
Bryant Lee
|
Office: Location: Wean Hall 1315
412-268 5941
412-268-5576 (fax)
bryantl+ cs.cmu.edu
www |
Human Computation, Games, Social Web, HCI |
|
| Jeehyung Lee |
Office: Doherty Hall 4302A
jeehyung@cs.cmu.edu |
|
|
Seunghak Lee
|
|
|
|
| Flavio Lerda |
Office: WeH 3703
Phone: (412) 268-1718
Fax: (412) 268-5576
flerda cs.cmu.edu
www |
Software model checking |
|
| Ruy Ley-Wild |
412-268 1685
412-268-5576 (fax)
rleywild andrew.cmu.edu
www |
|
|
| Lei Li |
412-268 3621
412-268-5576 (fax)
leili cs.cmu.edu
www |
Machine learning and data mining |
|
| Daniel Licata |
412-268 3052
412-268-5576 (fax)
drl cs.cmu.edu
www |
Programming languages and verification techniques |
|
| Katrina Ligett |
412-268 1845
412-268-5576 (fax)
katrina cs.cmu.edu
www |
Algorithms, particularly online algorithms and algorithmic game theory |
|
| Hyeontaek Lim |
|
|
|
Jialiu Lin
 |
412-268 3778
412-268-5576 (fax)
jialiul andrew.cmu.edu
www |
|
|
Xi Liu
 |
Office: 3717 Wean Hall
412-268 5521
412-268-5576 (fax)
xil cs.cmu.edu
www |
Wireless networking |
|
| Sarah Loos |
|
|
|
William Lovas
 |
412-268 3074
412-268-5576 (fax)
wlovas cs.cmu.edu
www |
Theory of programming languages, including type systems, constructive logics, mathematical philosophy, and inventing pretty syntax |
|
| Stephen Magill |
412-268 2015
412-268-5576 (fax)
smagill cs.cmu.edu
www |
|
|
Donna Malayeri
 |
Office: DH 4302C
412-268 2015
412-268-5576 (fax)
donna cs.cmu.edu
www |
|
|
| Chris Martens |
Office: Wean Hall 8301
cmartens andrew.cmu.edu |
|
|
James McCann
|
412-268 3066
412-268-5576 (fax)
jmccann cs.cmu.edu
www |
Graphics, Animation, Visualization |
|
Sean McLaughlin
 |
Office: Wean Hall 8309
412-268 8078
412-268-5576 (fax)
seanmcl cs.cmu.edu
www |
|
|
Brendan Meeder

|
Office: Wean Hall 3723
bmeederl andrew.cmu.edu
www |
|
|
| Rui Meireles |
Office: Wean Hall 3705
412-268-5636 rui cmu.edu
www |
|
|
| Doru Filipe Militao |
|
|
|
Iulian Moraru |
Office: Wean Hall 3711
412-268 1557 iulian cs.cmu.edu |
|
|
| Karl Naden |
|
|
|
| Srivatsan Narayanan |
|
|
|
| Ligia Nistor |
|
|
|
| Steven Okamoto |
412-268 1781
412-268-5576 (fax)
syo andrew.cmu.edu |
|
|
Abe Othman
 |
Office:Wean 3708
412-589-2976
412-268-5576 (fax)
aothman cs.cmu.edu |
|
|