SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon

Gates and Hillman Centers Photo Tour

Computer Science Department

Human-Computer Interaction Inst

Institute for Software Research

Lane Ctr for Computational Biology

Language Technologies Institute

Machine Learning Department

Robotics Institute

Entertainment Technology Center

Extended Menu

Contact Info

Faculty (O, P, Q, R, S, T)

Page 1: A, B,
Page 2: C, D, E, F
Page 3: G, H, I, J
Page 4: K, L, M, N,
Page 5: O, P, Q, R, S
Page 6: T, U, V, W, X, Y, Z
Directory, Adjunct Faculty

Name	Contact Info	Primary Research/Professional Interests
Ryan O'Donnell Assistant Professor, CSD	Office: GHC 7213 Phone: 412-268-4802	Complexity Theory, Approximation Algorithms, Analysis of Boolean Functions, Learning Theory, Property Testing, Probability

David O'Hallaron Associate Professor, CSD	Office: GHC 9125 Phone: 412-268-8199 Fax: 412-268-5576 www	Scientific computing, computational database systems, Internet services

Mark Paulk Senior Systems Scientist, ISR	Office: 407 SCR, 115 Phone: 412-268-51376 Fax: 412-268-5131 www	Total Quality Management, best practices (e.g., Software CMM, ISO/IEC 15504, eSCM-SP), empirical research, high maturity practices, statistical thinking, and agile methods.

Eric Paulos Assistant Professor, HCII	Office: NSH 3531 Phone: 412-268-3467 www

Philip Pavlik Systems Scientist, HCII	Phone: 412-268-1618 Fax: 412-268-1266

Jeff Perdue Associate Teaching Professor, ISR and Associate Director, ITSqc	Office: 407 SCRG 128 Phone: 412-268-5490 Fax: 412-268-5131	Software engineering and software management, process and capability modeling, assessment of organizational capability, and IT related education and training, sourcing and service management. Automatic programming, new software development methodologies, languages, and tools, technological change acceleration, technology enabled organization improvements.

Frank Pfenning Professor, CSD	Office: GHC 9101 Phone: 412-268-6343 Fax: 412-268-3608 www	Programming languages, logic, type theory, automated deduction, security

Andre Platzer Assistant Professor, CSD	Office: GHC 9227 Phone: 412-268-1558 Fax: 412-268-5574 www	Formal verification of hybrid, real-time, cyber-physical, and embedded systems; logic; automated theorem proving and model checking; computer algebra.

Nancy Pollard Associate Professor, RI and CSD	Office: NSH 4228b Phone: 412-268-1479 Fax: 412-268-6436 www	Computer graphics, robotics, creating natural motion for animated human characters and humanoid robots

Bhiksha Ramakrishnan Associate Professor, LTI	Office: GHC 6705 Phone: 412-268-6591 Fax: 412-268-6298 www

R. Ravi Carnegie Bosch Professor of Operations Research and Computer Science, Tepper School of Business	Office: Posner 348C Phone: 412-268-3694 Fax: 412-268-7345 www	Approximation algorithms, combinatorial optimization and computational molecular biology

M. Ravishankar Senior Systems Scientist, ISR	Phone: 412-268-1331 Fax: 412-683-5348 www

Raj Reddy Mozah Bint Nasser University Professor of Computer Science and Robotics	Office: WeH 5325 Phone: 412-268-2597 Fax: 412-683-5348 www	Speech, Gigabit, AI, Robotics, and Digital Libraries

Margaret Reid-Miller Assistant Teaching Professor, CSD	Office: GHC 6003 Phone: 412-268-4630 Fax: 412-268-5576 www

John C. Reynolds Professor, CSD	Office: GHC 9019 Phone: 412-268-3057 Fax: 412-268-5576 www	The design of programming languages and languages for specifying program behavior, mathematical tools for defining the semantics of such languages, and methods for verifying that programs meet their specifications

Cameron Riviere Associate Research Professor, RI	Office: NSH 3107 Phone: 412-268-7988 Fax: 412-268-5895 www	Error compensation in human-machine interfaces

Alfred Rizzi Associate Research Professor, RI	Office: EDSH 111 Phone: 412-268-8006 Fax: 412-268-5571 www	Developing highly capable systems and machines that are both easy to instruct and capable of dealing with uncertainty

James Roberts Teaching Professor, CSD	Office: GHC 6019 Phone: 412-268-6731 Fax: 412-258-5573 www	Teaching of CS

David Root Associate Teaching Professor, ISR	Phone: 412-268-5198 Fax: 412-268-5413

Carolyn Rose Assistant Professor, LTI and HCII	Office: GHC 5415 Phone: 412-268 7130 Fax: 412-268-6298 www	Computer supported collaborative learning, tutorial dialogue, conversation analysis, and summarization

Roni Rosenfeld Professor, LTI, MLD, and CSD	Office: GHC 8103 Phone: 412-268-7678 Fax: 412-268-2205 www	Information and Communication Technology for Development (ICT4D). Computational Molecular Evolution. Viral Evolution.

Manuel Rosso-Llopart Associate Teaching Professor, ISR	Office: 300 S. Craig St. Rm 270 Phone: 412-268 4629

Zack Rubinstein Systems Scientist, RI	Phone: 412-268-2823 www

Steven Rudich Professor, CSD	Office: GHC 7219 Phone: 412-268-5099 Fax: 412-268-5576 www

Alexander Rudnicky Principal Systems Scientist, CSD	Office: GHC 7221 Phone: 412-268-2622 Fax: 412-268-5576 www	Speech recognition, interfaces and language

Paul E. Rybski Systems Scientist, RI	Office: Smith Hall (EDSH) 217 Phone: 412-268-7417 Fax: 412-268-7350 www

Norman Sadeh Professor, SCS & CyLab	Phone: 412-268-8144 Fax: 412-291-1110 www	Director, Mobile Commerce Lab; Director, e-Supply Chain Management Lab; Co-Director, COS PhD Program; Co-Director, MBA Track in Technology Leadership; Other research areas: Web Commerce, Security and Privacy, AI and HCI.

Majd Sakr Assistant Teaching Professor, CSD (Qatar)	Office: CMU-Qatar M1007 Phone: 974-454-8625 Fax: 974-454-8410 www	Computer architecture, embedded systems, parallel processing, and cloud computing

Tuomas Sandholm Professor, CSD, and Director, Agent-Mediated Electronic Marketplaces Laboratory	Office: GHC 9205 Phone: 412-268-8216 Fax: www	Artificial intelligence; electronic commerce; game theory; multiagent systems; auctions and exchanges; automated negotiation and contracting; coalition formation; safe exchange; normative models of bounded rationality; resource-bounded reasoning; constraint satisfaction; machine learning; networks; combinatorial optimization

Mahadev Satyanarayanan Carnegie Group Professor of Computer Science	Office: GHC 9123 Phone: 412-268-3743 Fax: 412-268-4136 www	Mobile and pervasive computing, distributed file systems, measurement and evaluation, security

Paul Scerri Systems Scientist, RI	Office: NSH 1617 Phone: 412-268-2145 www

Richard Scheines Associate Professor, Phil	Office: Baker H.135 Phone: 412-268-8568 Fax: 412-268-1440 www	Causal discovery from databases, and web-based education

Hagen Schempf Principal Systems Scientist, REC	Phone: 412-268-6884 Fax: 412-268-1893 www

William Scherlis Professor, and Director of ISR	Office: WeH 5220 Phone: 412-268-8741 Fax: 412-268-7458 www	Software engineering, software assurance, concurrency, and program analysis

Bradley Schmerl Senior Systems Scientist, CSD	Office: GHC 6215 Phone: 412 268 5889 Fax: 412 268 5576 www	Software engineering, software architecture, dynamic adaptation, pervasive computing

Jeff Schneider Associate Research Professor, RI	Office: NSH 3121 Phone: 412-268-2339 Fax: 412-268-5571 www

Tanja Schultz Assistant Research Professor, LTI	Office: 407 South Craig Street, 201 Phone: 412-268-4278 Fax: 412-268-5578 www	Rapid Deployment of Speech Processing Systems to new Languages and Domains, Speech Translation, Detection and Annotation of Disfluencies and Non-verbal Cues, Non-audible and Whispered Speech, Towards Communication with Dolphins

Dana Scott Hillman University Professor, CS, Math, Phil., CSD, Emeritus	Office: WeH 7130 Phone: 412-268-3881 Fax: 412-268-5576 www	Philosophy, and Mathematical Logic. Semantics of computer languages, computer algebra

Teddy Seidenfeld Herbert A Simon Prof Philosophy Stats, Phil	Office: BH 135 J Phone: 412-268-2209 www

Srinivasan Seshan Associate Professor, CSD	Office: GHC 8123 Phone: 412-268-8734 Fax: 412-268-5576 www	Network protocols/services/applications, distributed systems, mobile computing, and wireless networks

Michael Shamos Distinguished Career Professor, School of Computer Science, Co-Director, Institute for eCommerce	Office: GHC 6707 Phone: 412-268-8193 Fax: 412-268-6298 www	Digital libraries, language identification, electronic voting, electronic negotiation, Internet law and policy, and experimental mathematics

Mary Shaw A. J. Perlis Professor, ISR	Office: WeH 8109 Phone: 412-268-2589 Fax: 412-268-5576 www	Software engineering, value-driven software design, software architecture; paradigms of software research, software engineering education

Yaser Sheikh Assistant Research Professor, RI	Phone: 412-268-3818 www

Kenji Shimada Professor, ME and RI	Office: 314 Scaife Hall Phone: 412-268-3614 Fax: 412-268-3348 www	Geometric modeling and simulation, mesh generation, computer graphics, computational geometry, robotics, medical CAD - CAD/CAM/CAE

Jane Siegel Senior Systems Scientist, HCII	Phone: 412-268-6764 Fax: 412-268-1266

Mel Siegel Associate Research Professor, RI	Office: NSH A421 Phone: 412-268-8742 Fax: 412-268-5569 www	Sensors and Displays

Daniel P. Siewiorek Director, HCII, Buhl University Prof. ECE and CS	Office: NSH 3519 Phone: 412-268-2570 Fax: 412-268-1266 www	Mobile computing, wearable computers, context aware computing, rapid prototyping, computer architecture, dependable computing, design automation, parallel processing

Reid Simmons Research Professor, RI	Office: NSH 3205 Phone: 412-268-2621 Fax: 412-268-7350 www	Autonomous robots, architectures for autonomous systems, coordination of multiple robots, human-robot social interaction, probabilistic planning and reasoning, formal verification

Sanjiv Singh Research Professor, RI	Office: NSH 2111 Fax: 412-268-6577 www	Applications of robotics in outdoor, unstructured environments

Aarti Singh Assistant Professor, ML	Office: GHC 8207 Phone: 412-268-4266 www

Donald J. Slater Assistant Teaching Professor, CSD	Office: GHC 4003 Phone: 412-268-4370 Fax: 412-268-5573 www	Teacher of Computer Science; Alice Project

Daniel D. Sleator Professor, CSD	Office: GHC 8113 Phone: 412-268-7563 Fax: 412-268-5576 www	Data structures, graph algorithms, on-line algorithms, parsing natural languages

Stephen Smith Research Professor, RI	Office: NSH 1502 E Phone: 412-268-8811 Fax: 412-268-5569 www	Automated planning and scheduling,constraint-based search and optimization, multi-agent coordination, stochastic search algorithms

Noah Smith Assistant Professor , LTI and MLD	Office: GHC 5723 Phone: 412-268-4963 Fax: 412-268-6298 www	Natural language processing and computational linguistics; machine learning

Peter Spirtes Professor, Phil.	Office: BH 135 D Phone: 412--268-8460 www

Peter Steenkiste Professor CS and ECE, CSD	Office: GHC 9107 Phone: 412-268-3261 Fax: 412-268-5576 www	Networking, pervasive computing, distributed computing

Mark Stehlik Teaching Professor and Assistant Dean for Undergraduate Education, CSD	Office: GHC 5003 Phone: 412-268-3609 Fax: 412-268-5573 www

Aaron Steinfeld Systems Scientist, RI	Office: NSH 4227 Phone: 412-268-6346 www	Human-robot interaction

Anthony Stentz Research Professor, Associate Dir. NREC, RI	Office: NSH 2115 Phone: 412-268-8155 Fax: 412-268-5895 www	Path planning, multi-robot control, computer vision, system architecture, and artificial intelligence for construction, agricultural, mining, and exploration robots

Richard Stern Professor, ECE and CSD	Office: GHC 6511 Phone: 412-268-2535 Fax: 412-268-3890 www	Automatic speech recognition, auditory perception, signal processing

George Stetten Associate Research Professor, RI	Phone: 412-268-4845 Fax: 412-268-5571 www

Scott Stevens Senior Systems Scientist, HCII	Phone: 412-268-7796 Fax: 412-268-5576

Klaus Sutner Teaching Professor, CSD, Assoc. Dean of Undergraduate Programs	Office: GHC 6015 Phone: 412-268-8510 Fax: 412-268-5577 www	Automata theory, computational mathematics, discrete dynamics

Latanya Sweeney Distinguished Career Professor	Office: WeH 1301 Phone: 412-268-4484 Fax: 412-268-6708 www	Privacy technology, data identifiability, technology design, health informatics

Katia Sycara Research Professor, RI	Office: NSH 1602 D Phone: 412-268-8825 Fax: 412-268-5569 www

Page 1: A, B,
Page 2: C, D, E, F
Page 3: G, H, I, J
Page 4: K, L, M, N,
Page 5: O, P, Q, R, S
Page 6: T, U, V, W, X, Y, Z
Directory, Adjunct Faculty