| Name
| Contact Info
| Primary Research/Professional Interests
|
Victor Adamchik
Associate Teaching Professor
|
Office: WeH 5121
Phone: 412-268-8121
Fax: 412-268-5573
www |
Computational Mathematics, Computer Algebra and Experimental Mathematics
| |
|
Anastasia Ailamaki
Associate Professor, CSD
|
Office: WeH 7109
Phone: 412-268-7848
Fax: 412-268-5574
www |
Database management systems, commercial workloads on modern computer architectures, disk traffic models, internet querying
| |
|
Jonathan Aldrich
Assistant Professor 
|
Office: 8212 Wean Hall
Phone: 412-268-7278
Fax: 412-268-7287
www |
Applying language and program analysis techniques to software engineering problems
| |
|
Vincent Aleven
Systems Scientist, HCII
|
Office: NSH 2621
Phone: 412-268-5475
Fax: 412-268-1266
www |
Intelligent tutoring systems and deep understanding, conjecturing and argumentation, case-based reasoning
| |
|
Omead Amidi
Senior Systems Scientist, RI
|
Office: NSH 4107
Phone: 412-268-3210
Fax: 412-268-5571
www |
| |
|
David Andersen
Assistant Professor, CSD
|
Office: 8206 Wean Hall
Phone: 412-268-3064
Fax: 412-268-5576
www |
Computer systems in the networked environment
| |
|
John Anderson
University Professor Psychology-Comp Sci, PSY
|
Office: Baker H. 345D
Phone: 412-268-2788
Fax: 412-268-2844
www |
ACT theory and architecture of cognition, to understand how people acquire and organize knowledge and produce intelligent behavior
| |
|
Dimitrios Apostolopoulos
Systems Scientist, RI
|
Office: NSH 1105
Phone: 412-268-7224
Fax: 412-268-1488
|
| |
|
Raghu Arunachalam
Systems Scientist, ISRI
|
Office: EDSH 226
Phone: 412-268-3053
|
| |
|
Christopher Atkeson
Professor, RI/HCII
|
Office: NSH A527
Phone: 412-268-5544
Fax: 412-268-6436
www |
Machine learning and robotics as a domain in which to explore the behavior of learning algorithms
| |
|
Simon Baker
Associate Research Professor
|
Office: Smith H 213
Phone: 412-268-5746
Fax: 412-268-5571
www |
Computer vision
| |
|
Ziv Bar-Joseph
Assistant Professor, Machine Learning Department
|
Office: Wean Hall 4107
Phone: 412-268 8595
Fax: 412)268-2205
www |
Computational biology, systems biology, time series analysis, and
applied machine learning
| |
|
John Bares
Senior Research Scientist and Director NREC, RI
|
Office: REC 228
Phone: 412-268-7091
Fax: 412-681-5895
www |
The full cycle conception to testing of intelligent machines for hazardous environments, construction, and heavy industry applications
| |
|
Joseph E. Beck
Systems Scientist, Machine Learning Department
|
Office: NSH 4215
Phone: 412-268-5726
Fax: 412-268-6436
www |
Educational data mining, intelligent
tutoring systems, and student modeling
| |
|
Hans Berliner
Principal Research Scientist, Emeritus, CSD
|
Office: WeH 4212
Phone: 412-268-2565
|
Artificial Intelligence with emphasis on representation of knowledge for large domains, tree searching, and structures that could support learning
| |
|
Alan Black
Associate Research Professor, LTI 
|
Office: NSH 4525
Phone: 412-268-6299
Fax: 412-268-6298
www |
Practical implementations of computational theories of speech and language Making computer speech synthesis as natural, flexible, and efficient as human speech.
| |
|
Guy Blelloch
Professor, CSD
|
Office: WeH 7125
Phone: 412-268-6245
Fax: 412-268-5576
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: WeH 4130
Phone: 412-268-6452
Fax: 412-268-5576
www |
Machine learning theory, approximation algorithms, on-line algorithms, and analysis of heuristics
| |
|
Lenore Blum
Distinguished Career Professor, CSD
|
Office: WeH 4105
Phone: 412-268-8139
Fax: 412-683-5576
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: WeH 4113
Phone: 412-268-3742
Fax: 412-268-5576
www |
Algorithms, complexity theory, cryptography, human interactive proofs
| |
|
David Bourne
Principal Systems Scientist, RI
|
Office: NSH 1612C
Phone: 412-268-7811
Fax: 412-268-5569
|
The design and implementation of flexible machines, mechanical hardware, electronics, control and software
| |
|
Daniel Boyarski
Professor, Design
|
Office: MMC 110
Phone: 412-268-6842
|
How words, images, motion, and sound work together to produce effective communication pieces
| |
|
Stephen Brookes
Professor, CSD
|
Office: WeH 7105
Phone: 412-268-8820
Fax: 412-268-5576
|
Mathematical theory of computation, theory of programming languages, the mathematical semantics of programming languages
| |
|
Ralf Brown
Systems Scientist, LTI
|
Office: NSH 4609
Phone: 412-268-8298
www |
| |
|
Brett Browning
Systems Scientist, RI
|
Office: NSH 3220
Phone: 412-268-6021
Fax: 412-268-4801
www |
| |
|
Randal Bryant
Dean, School of Computer Science
|
Office: NSH 4305
Phone: 412-268-8821
Fax: 412-268-5497
www |
Formal verification of hardware and embedded systems; data structures and algorithms for representing and reasoning about different classes of logic
| |
|
Sharon Burks
Assoc. Dept. Head-CSD/Assist. Dean-SCS, CSD
|
Office: WeH 4119
Phone: 412-268-2593
Fax: 412-268-5576
www |
| |
|