 |
|
|
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. |
|
| Jason Ganetsky |
Office: Wean Hall 8218
412-268 1549
412-268-5576 (fax)
jganetsk andrew.cmu.edu
www
|
Operating systems, distributed systems, storage, and security |
|
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
|
|
Charlie Garrod
 |
Office: Doherty 4301B
412-268 3075
412-268-5576 (fax)
charlie cs.cmu.edu
www
|
|
|
Andrew Gilpin
 |
Office: Wean Hall 3715
412-268 1405
412-268-5576 (fax)
gilpin cs.cmu.edu
www
|
Artificial intelligence, computational game theory, equilibria computation, linear and integer programming, convex optimization, auctions, exchanges, mechanism design, electronic commerce, computational finance |
|
Anthony Gitter
 |
Office: Wean 3719
412-268 8187
412-268-5576 (fax)
agitter cs.cmu.edu
www |
Computational biology and machine learning |
|
Daniel Golovin
 |
412-268 2582
412-268-5576 (fax)
dgolovin cs.cmu.edu
www
|
Combinatorial optimization,
approximation algorithms, graph algorithms, and data
structures |
|
Joseph Gonzalez
 |
412-268 3046
412-268-5576 (fax)
jegonzal cs.cmu.edu
www
|
Statistical machine learning, sensor networks, and designing algorithms that learn and adapt to changing environments |
|
| 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 |
|
|
Lie Gu
 |
Office: Newell-Simon Hall 4122
412-268 2696
412-268-5576 (fax)
lgu andrew.cmu.edu
www
|
Computer vision and statistical learning |
|
Yang Gu
 |
Office:3702 Wean Hall
412-268 8911
412-268-5576 (fax)
guyang cs.cmu.edu
www
|
|
|
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 |
|
| Hong, Q Youn |
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 |
|
| Benoit Hudson |
412-268 5143
412-268-5576 (fax)
bhudson cs.cmu.edu
www |
Computational geometry and scientific computing |
|
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 |
|
|
| Hetunandan Kamichetty |
412-268 3564
412-268-5576 (fax)
hetu cs.cmu.edu
www |
Computational Biology and Machine Learning |
|
|
Yan Ke
 |
412-268 7670
412-268-5576 (fax)
yke cmu.edu
www |
Computer vision |
|
| Ryan Kelly |
Office: Wean Hall 8104
412-268 2582
412-268-5576 (fax)
rkelly cs.cmu.edu
www |
|
|
| Kevin Killourhy |
Office: 3402 Wean Hall
412-268 3266
412-268-5576 (fax)
ksk 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 |
|
Andreas Krause
 |
Office: Doherty Hall 4301b
412-268 1723
412-268-5576 (fax)
krausea cs.cmu.edu
www |
Machine learning algorithms and probabilistic reasoning both in theory and in complex real world systems |
|
| Elie Krevat |
Doherty Hall 4301F
412-268 7638
412-268-5576 (fax)
ekrevat andrew.cmu.edu |
|
|
| 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 |
|
|
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 |
|
| Daniel Lee |
Office: Doherty Hall, 4302E
412-268 2039
412-268-5576 (fax)
dklee cs.cmu.edu
www |
Type systems, programming languages, and certifying compilation, mechanizing a
specification and type-safety proof for Standard ML |
|
| 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 |
|
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 |
|
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 |
|
Yong Lu
 |
412-268 3562
412-268-5576 (fax)
lyongu cs.cmu.edu
www
|
|
|
| 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 |
|
|
Amit Manjhi
 |
412-268 3042
412-268-5576 (fax)
manjhi+ cs.cmu.edu
www |
Management of distributed, dynamic data |
|
James McCann
 |
412-268 3066
412-268-5576 (fax)
jmccann cs.cmu.edu
www |
Graphics, Animation, Visualization |
|
Sean McLaughlin
 |
412-268 8078
412-268-5576 (fax)
seanmcl cs.cmu.edu
www |
|
|
Pratyusa K. Manadhata
|
Office: Wean Hall 8101
412-268 3060
412-268-5576 (fax)
pratyus cs.cmu.edu
www |
Software Security and Software Engineering |
|
Colin McMillen
 |
Office:
Wean Hall 1302
412-268 8911
412-268-5576 (fax)
mcmillen cs.cmu.edu
www |
Application of artificial intelligence or machine learning techniques to improve the performance of real-world systems |
|
| David McWherter |
412-268 8187
412-268-5576 (fax)
dmcwhert+ andrew.cmu.edu |
|
|
Mahim Mishra
 |
412-268 3562
412-268-5576 (fax)
mahim cs.cmu.edu
www |
|
|
Thomas Murphy
 |
Office: Wean 4212
412-268 3074
412-268-5576 (fax)
tom7 cs.cmu.edu
www |
Programming languages |
|
| 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 |
|
|
CSD Home 
Webteam ^ Top 
A-F