| 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 |
| |
|