CSD Graduate Students

SCS Admin Services | CSD Home | SCS Home

A-F G-O P-Z


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

CSD Home

Webteam ^ Top

SCS Home