CSD Faculty List

SCS Admin Services | CSD Home | SCS Home

CSD Faculty

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


Name	Address	Research Interests
Majd Sakr Assistant Teaching Professor, CSD (Qatar)	Office: CMU-Qatar M1007 Phone: 974-454-8625 Fax: 974-454-8410 msakr qatar.cmu.edu www	Computer architecture, embedded systems, parallel processing, and cloud computing

Tuomas Sandholm Professor, CSD	Office: WeH 7127 Phone: 412-268-8216 Fax: 412-268-4187 sandholmcs.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 satyacs.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 schmerlcs.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.scottcs.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 srinicmu.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.shawcs.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 dpscs.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 reidscs.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 Assistant Teaching Professor, CSD	Office: WeH 5115 Phone: 412-268-4370 Fax: 412-268-5573 djslatercs.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 prscs.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 mjscs.cmu.edu www

Klaus Sutner Teaching Professor, CSD Associate Dean for Undergraduate Education, CSD	Office: WeH 4119 Phone: 412-268-8510 Fax: 412-268-5573 klaus.sutnercmu.edu	Automata theory, computer algebra

David Touretzky Research Professor, CSD, CNBC	Office: WeH 8128 Phone: 412-268-7561 Fax: 412-268-3608 dstcs.cmu.edu www	Computational neuroscience, representations of space in the rodent brain, animal learning models applied to robots.

Adrien Treuille Assistent Professor, CSD, Robotics	Office: Newell-Simon Hall 4209 Phone: 412-268-3818 treuille cs.cmu.edu www	Interactive simulation of very high-dimensional non-linear phenomena: deformable objects, human motion, crowds, and large ﬂuid systems.

Manuela Veloso Professor, CSD	Office: WeH 7123 Phone: 412-268-1474 Fax: 412-268-4801 velosocs.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 wactlarcmu.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: wingcs.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 hzhangcs.cmu.edu www	Computer Networks, Internet, Quality of Service, distributed systems

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

CSD Home

Webteam ^ Top

SCS Home