 |
 |
 |
Name |
Address |
Research Interests
|
Tuomas Sandholm
Professor, CSD
|
Office: WeH 7127
Phone: 412-268-8216
Fax: 412-268-4187 sandholm cs.cmu.edu
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, CSD
|
Office: WeH 8208
Phone: 412-268-3743
Fax: 412-268-4136 satya cs.cmu.edu
www |
Mobile and pervasive computing, distributed file systems,
measurement and evaluation, security |
|
Bradley Schmerl
Senior Systems Scientist, CSD
|
Office: WeH 8021
Phone: 412 268 5889
Fax: 412 268 5576 schmerl cs.cmu.edu
www |
Software engineering, software architecture, dynamic
adaptation, pervasive computing |
|
Dana Scott
University Professor, Emeritus, CSD
|
Office: WeH 7130
Phone: 412-268-3881
Fax: 412-268-5576 dana.scott cs.cmu.edu
www |
Philosophy, and Mathematical Logic. Semantics of computer
languages, computer algebra |
|
Srinivasan Seshan
Finmeccanica Associate Professor of Computer Science, CSD
|
Office: WeH 8212
Phone: 412-268-8734
Fax: 412-268-5576 srini cmu.edu
www |
network protocols and distributed network applications
|
|
Mary Shaw
Alan J. Perlis Professor of Computer Science, CSD, ISRI
|
Office: WeH 8109
Phone: 412-268-2589
Fax: 412-268-5576 mary.shaw cs.cmu.edu
www |
Value-based software engineering, everyday software,
software engineering research paradigms, software architecture |
|
Daniel P. Siewiorek
Buhl University Professor of Electrical Engineering and Computer Science,
CSD, HCII, ECE
Director, HCII
|
Office: NSH 3519
Phone: 412-268-2570
Fax: 412-268-1266 dps cs.cmu.edu
www |
Wearable Computers, Fault-tolerant computing,
Reliable computing |
|
Reid Simmons
Research Professor, CSD, RI
|
Office: NSH 3205
Phone: 412-268-2621
Fax: 412-268-7350 reids cs.cmu.edu
www |
Architectures for autonomy that combine deliberative
and reactive behavior, reliable execution monitoring and error recovery,
multi-robot coordination, probabilistic and symbolic planning, formal
verification of autonomous systems, and human-robot social interaction |
|
Donald J. Slater
Lecturer, CSD

|
Office: WeH 5115
Phone: 412-268-4370
Fax: 412-268-5573 djslater cs.cmu.edu
|
|
|
Daniel D. Sleator
Professor, CSD
|
Office: WeH 4128
Phone: 412-268-7563
Fax: 412-268-5576 sleator+ cs.cmu.edu
www |
Data structures, graph algorithms, on-line algorithms,
parsing natural languages |
|
Peter Steenkiste
Professor, CSD, ECE
|
Office: WeH 8202
Phone: 412-268-3261
Fax: 412-268-5576 prs cs.cmu.edu
www |
Networking, pervasive computing, distributed computing
|
|
Mark Stehlik
Teaching Professor, Assistant Dean for Undergrad Education, CSD
 |
Office: WeH 5103
Phone: 412-268-3609
Fax: 412-268-5576
mjs cs.cmu.edu
www
|
|
|
| Leigh Ann Sudol
Visiting Lecturer, CSD
|
Office: Doherty Hall 4301D
Phone: 412-268-4731
Fax: 412-268-557
lsudol
cs.cmu.edu
|
|
|
| Klaus Sutner
Teaching Professor, CSD
Associate Dean for Undergraduate Education, CSD
|
Office: WeH 4119
Phone: 412-268-8510
Fax: 412-268-5573 klaus.sutner cmu.edu
|
Automata theory, computer algebra |
|
David Touretzky
Research Professor, CSD, CNBC
|
Office: WeH 8128
Phone: 412-268-7561
Fax: 412-268-3608 dst cs.cmu.edu
www |
Computational neuroscience, representations of space
in the rodent brain, animal learning models applied to robots. |
|
Manuela Veloso
Professor, CSD
|
Office: WeH 7123
Phone: 412-268-1474
Fax: 412-268-4801 veloso cs.cmu.edu
www |
Multiagent/multirobot planning, execution, and learning;
multirobot perception, cognition, and action; agent modeling; robot
soccer; games; modular and uniform behavior representations and control
algorithms |
|
Luis VonAhn
Assistant Professor, CSD 
|
Office: Wean Hall 4121
Phone: 412-268-2813
Fax: 412-268-5576 biglou
cs.cmu.edu www |
|
|
Howard Wactlar
Alumni Research Professor, R, CSD
Vice Provost for Research Computing, CSD, RI
|
Office: WeH 5216
Phone: 412-268-2571
Fax: 412-268-7458 wactlar cmu.edu
www |
information retrieval systems, multimedia, speech/image/natural
language understanding, distributed systems. Multidisciplinary research:
e.g., Informedia Digital Video Library |
|
Jeannette M. Wing
President's Professor of Computer Science, CSD
|
Phone:
Fax: wing cs.cmu.edu
www |
Formal specification and verification, security, design
analysis tools, programming languages, programming methodology |
|
Hui Zhang
Professor, CSD
|
Office: WeH 7126
Phone: 412-268-8945 hzhang cs.cmu.edu
www |
Computer Networks, Internet, Quality of Service, distributed
systems |
|