CSD Faculty List

SCS Admin Services | CSD Home | SCS Home

CSD Faculty

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


Name	Address	Research Interests

Victor Adamchik Associate Teaching Professor, CSD	Office: GHC 7719 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: GHC 9109 Phone: 412-268-3064 Fax: 412-268-5576 dga @ cs.cmu.edu www	Computer systems in the networked environment

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

Guy Blelloch Professor, CSD Associate Dean for Planning	Office: GHC 9211 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: 8111 GHC 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: GHC 7105 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: GHC 7205 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: GHC 9017 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: GHC 5113 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

Jaime Carbonell Allen Newell Professor of Computer Science, CSD, LTI	Office: GHC 6721 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: GHC 6009 Phone: 412-268-6729 Fax: 412-268-5573 jxccs.cmu.edu www	Introductory Programming Group, SCS representative in Educational Facilities Committee

Iliano Cervesato Associate Teaching Professor, CSD (Qatar)	Office: CMU-Q 1008 Phone: 974-454-8643 Fax: 974-492-8255 iliano cmu.edu www	Computational logic; linear logic; logical frameworks; theory of programming languages; security protocol verification.

Mike Christel Senior Systems Scientist, CSD	Office: Pgh Technology Center 3101 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 University Professor, CSD	Office: GHC 9231 Phone: 412-268-2628 Fax: 412-268-5576 emccs.cmu.edu www	Hardware and Software Verification using Model Checking

Tom Cortina Assistant Teaching Professor, CSD	Office: GHC 6017 Phone 412-268-3514 Fax 412-268-5573 tcortinacs.cmu.edu www	Computer science education, programming methodology

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

Wanda Dann Associate Professor, SCS, HCII	Office: GHC 4005 412-268 4074 412-268-1266 (fax) wpdann andrew.cmu.edu

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

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

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

Michael Erdmann Professor, CSD, RI	Office: GHC 9203 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: GHC 6417 Phone: 412-268-2575 Fax: 412-268-5576 sefcs.cmu.edu www	Artificial Intelligence and its applications

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

Eugene Fink System Scientist, LTI, CSD	Office: GHC 6701 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 Professor, CSD	Office: GHC 9111 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: GHC 7111 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: GHC 8002 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: GHC 6005 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: GHC 7203 Phone: 412-268-7127 Fax: 412-268-5578 anupamgcs.cmu.edu www	Theoretical Computer Science, with an emphasis on Approximation Algorithms and Metric Embeddings.

Venkatesan Guruswami Associate Professor, CSD	Office: GHC 7211 Phone: 412-268-4899 Fax: 412-268-5576 venkatg cs.cmu.edu www	Theory of error-correcting codes, Approximation algorithms and Non-approximability, Pseudorandomness and Combinatorial Constructions, Computational complexity theory, Algebra and computation.

Mor Harchol-Balter Associate Professor, CSD	Office: GHC 7207 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: GHC 9207 Phone: 412-268-3675 Fax: 412-268-4801 Robert.Harpercs.cmu.edu www	Application of programming language theory to programming practice

Khaled A. Harras Assistant Teaching Professor, CSD	Office: Doha: M1020; Pittsburgh: WeH 5215 Phone: 974-454-8617 Fax: 974-454-8410 kharras cs.cmu.edu www	Computer Networks: Mobile ad-hoc, wireless, sensor and vehicular networks. Particularly focused on challenged, delay, and disruption tolerant networks.

Alexander Hauptmann Senior Systems Scientist, CSD	Office: 417 South Craig St. 301A 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: NSH 4103 Phone: 412-268-6795 Fax: 412-268-6436 jkhcs.cmu.edu www	Computer graphics, computer animation, dynamic simulation, humanoid robotics

Tim Hoffman Assistant Teaching Professor, CSD	Office: GHC 6013 Phone: 412-268-6728 Fax: 412-268-5576 thoffmancs.cmu.edu www	Faculty Advisor for Intel's First Year Research Experience (IFYRE); Programming in C and Unix

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

CSD Home

Webteam ^ Top

SCS Home