CSD Faculty List

CSD Home | Important Links | SCS Admin Services | SCS Home

	GENERAL INFO
	About
	News Page
	Faculty Positions Available
	SCS Calendar




	EDUCATION
	Ph.D. in CS
	B.S. in CS
	M.S in CS
	Doctoral Catalog



	RESEARCH
	Faculty Research Guide
	Areas of Research
	Undergraduate Research
	Publications



	PEOPLE
	Who's Who
	Faculty List
	Administrative Staff
	Grad Student Directory
	Undergrad Student Site
	CSD On the Road



	Search SCS

CSD Faculty

A-J | K-R |S-Z | Affiliated Faculty


Name	Address	Research Interests

Victor Adamchik Associate Teaching Professor, CSD	Office: WeH 5121 Phone: 412-268-8121 Fax: 412-268-5576 adamchikcs.cmu.edu www	Applied computational mathematics, computer algebra and experimental mathematics

David Andersen Assistant Professor, CSD	Office: WeH 8206 Phone: 412-268-3064 Fax: 412-268-5576 dga @ cs.cmu.edu www	Computer systems in the networked environment

Anastassia Ailamaki Associate Professor, CSD	Office: WeH 7109 Phone: 412-268-7848 Fax: 412-268-5574 natassacs.cmu.edu www	Database management systems (DBMSs)

Ziv Bar-Joseph Assistant Professor, CSD	Office: WeH 4107 Phone: 412-268-8595 zivbjcs.cmu.edu www	Computational Biology, Bioinformatics and Machine learning

Hans Berliner Principal Research Scientist Emeritus, CSD	Phone: 412-268-2565 berliner+ cs.cmu.edu

Guy Blelloch Professor, CSD Associate Dean for Planning	Office: WeH 7125 Phone: 412-268-6245 Fax: 412-268-5576 guybcs.cmu.edu 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: WeH 4107 Phone: 412-268-6452 Fax: 412-268-5576 avrimcs.cmu.edu www	Machine learning theory, approximation algorithms, on-line algorithms, and AI-style planning

Lenore Blum Distinguished Career Professor, CSD	Office: WeH 4105 Phone: 412-268-8139 Fax: 412-683-8730 lblumcs.cmu.edu www	Complexity and real computation; transfer theorems for complexity theory; ALADDIN Center and Women@SCS

Manuel Blum Bruce Nelson Professor of Computer Science, CSD	Office: WeH 4113 Phone: 412-268-3742 Fax: 412-268-5576 mblumcs.cmu.edu www	Recursion theory, automata theory, complexity theory, algorithms, random number generation, cryptography, and program result checking

Stephen Brookes Professor, CSD	Office: WeH 7105 Phone: 412-268-8820 Fax: 412-268-5576 brookescs.cmu.edu	Mathematical theory of computation, theory of programming languages, the mathematical semantics of programming languages

Randal Bryant University Professor, CSD, and Dean of SCS	Office: WeH 4220 Phone: 412-268-8821 Fax: 412-268-5577 Randy.Bryantcs.cmu.edu www	Formal verification of hardware and embedded systems; data structures and algorithms for representing and reasoning about different classes of logic

Timothy Callahan Systems Scientist, CSD	Office: WeH 8211 Phone: 412-268-4453 Fax: 412-268-5576 tcalcs.cmu.edu www	Compilers and Architectures for Reconfigurable Computing

Jaime Carbonell Allen Newell Professor of Computer Science, CSD, LTI	Office: NSH 4519 Phone: 412-268-7279 Fax: 412-268-6298 jgccs.cmu.edu www	Artificial intelligence, natural-language processing, machine learning, machine translation

Jacobo Carrasquel Associate Teaching Professor, CSD	Office: WeH 5126 Phone: 412-268-6729 Fax: 412-268-5573 jxccs.cmu.edu www	Introductory Programming Group, SCS representative in Educational Facilities Committee

Datong Chen Systems Scientists, CSD	Office: 417 S. Craig St., Room 305 412-268 3974 412-268-5576 (fax) datong cs.cmu.edu www	Pattern recognition, human computer interaction, video surveillance and analysis, multimodal interface, multimedia analysis, computer vision, and stochastic machine learning

Mike Christel Senior Systems Scientist, CSD	Office: WeH 5212 Phone: 412-268-7799 Fax: 412-268-5576 christelcs.cmu.edu 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: WeH 7117 Phone: 412-268-2628 Fax: 412-268-5576 emccs.cmu.edu www	Hardware and Software Verification using Model Checking

Tom Cortina Lecturer, CSD	Office: WeH 5109 Phone 412-268-3514 Fax 412-268-5573 tcortinacs.cmu.edu www	Computer science education, programming methodology

Karl Crary Associate Professor, CSD	Office: WeH 8127 Phone: 412-268-7687 Fax: 412-268-5576 crarycs.cmu.edu www	Programming languages, type theory, certified code, and safe grid computing

Wanda Dann Visiting Professor, SCS, HCII	412-268 4074 412-268-1266 (fax) wpdann andrew.cmu.edu

Roger B. Dannenberg Associate Research Professor, CSD	Office: WeH 3214 Phone: 412-268-3827 Fax: 412-268-5576 rbdcs.cmu.edu www	Computer Music

David Eckhardt Associate Teaching Professor	Office: WeH 3503 Phone: 412-268-6720 Fax: 412-268-5576 davidecs.cmu.edu www	.Operating systems , Computer networks, Computer architecture

Alexei Efros Assistant Professor, CSD, RI	efroscs.cmu.edu www	Computer graphics and computer vision

Michael Erdmann Professor, CSD, RI	Office: WeH 5307 Phone: 412-268-7883 Fax: 412-268-5576 mecs.cmu.edu www	Mechanics of manipulation, shape sensing, uncertainty; computational molecular biology: protein folding, homology

Scott Fahlman Research Professor, CSD, LTI	Office: WeH 8214 Phone: 412-268-2575 Fax: 412-268-5576 sefcs.cmu.edu www	Artificial Intelligence and its applications

Christos Faloutsos Professor, CSD	Office: WeH 7107 Phone: 412-268-1457 Fax: 412-268-5576 christoscs.cmu.edu www	Databases, data mining

Eugene Fink System Scientist, LTI, CSD	Office: NSH 4521 Phone: 412-268-6593 Fax: 412-268-6298 eugene.finkcs.cmu.edu www	Artificial intelligence, machine learning, planning, problem solving, automated problem reformulation, e-commerce applications, medical applications, theoretical foundations of artificial intelligence, computational geometry and algorithm theory.

David Garlan Professor, CSD, ISRI	Office: WeH 8115 Phone: 412-268-5056 Fax: 412-268-5576 garlancs.cmu.edu www	Software engineering, software architecture, formal methods, self-healing systems

Garth Gibson Associate Professor, CSD	garth.gibsonpanasas.com www	Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices

Seth Goldstein Associate Professor, CSD	Office: WeH 7122 Phone: 412-268-3828 Fax: 412-268-4187 sethcs.cmu.edu www	Compilers and architectures for electronic nanotechnology and reconfigurable computing

Carlos Guestrin Assistant Professor, CSD, ML	Office: Wean Hall 4610 Phone: 412-268-3075 guestrin cs.cmu.edu	Probabilistic artificial intelligence, Machine learning, Planning under uncertainty, Markov decision processes, Wireless sensor networks, Distributed algorithms, Probabilistic graphical models, Bayesian networks, Markov networks, Multiagent systems, Optimization theory and algorithms, Network and query optimization, Classification

Ananda Gunawardena Associate Teaching Professor, CSD	Office: WeH 5113 Phone: 412-268-1559 Fax: 412-268-5576 gunacs.cmu.edu www	Computer algebra systems, CS pedagogy and eLearning, creating smart environments that facilitate teaching and learning

Anupam Gupta Assistant Professor, CSD	Office: WeH 4109 Phone: 412-268-7127 Fax: 412-268-5578 anupamgcs.cmu.edu www	Theoretical Computer Science, with an emphasis on Approximation Algorithms and Metric Embeddings.

Mor Harchol-Balter Associate Professor, CSD	Office: WeH 8119 Phone: 412-268-7893 Fax: 412-268-5576 harcholcs.cmu.edu www	Scheduling and resource allocation in computer systems, including both analytical performance modeling and implementation

Robert Harper Professor, CSD	Office: WeH 7113 Phone: 412-268-3675 Fax: 412-268-4801 Robert.Harpercs.cmu.edu www	Application of programming language theory to programming practice

Alexander Hauptmann Senior Systems Scientist, CSD	Office: WeH 5124 Phone: 412-268-1448 Fax: 412-268-5576 alexcs.cmu.edu www	Video and speech understanding, multimedia search, language in general, Informedia Digital Video Library project

Jessica Hodgins Professor, CSD, RI	Office: 4228 B Phone: 412-268-6795 Fax: 412-268-6436 jkhcs.cmu.edu www	Computer graphics, computer animation, dynamic simulation, humanoid robotics

Tim Hoffman Lecturer, CSD	Office: WeH 5125 Phone: 412-268-6728 Fax: 412-268-5576 thoffmancs.cmu.edu www	Digital imagery and streaming multimedia for the web with focus on strategies for storage, compression and delivery

A-J | K-R |S-Z | Affiliated Faculty

CSD Home

Webteam ^ Top

SCS Home