Faculty

SCS Faculty, Staff and Student Directory

Faculty -- Adjunct Faculty -- Staff -- All SCS

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Name	Contact Info	Primary Research / Professional Interests
Callan, James Professor Language Technologies Institute	Office: Gates and Hillman Centers 5419 Phone: 412-268-4525 Fax: 412-268-6298 Email WWW	Information retrieval models; search engine architectures; adaptive information filtering; text analysis and organization; and text mining.
Carbonell, Jaime Director-LTI / Professor CS and LT Language Technologies Institute	Office: Gates and Hillman Centers 6721 Phone: 412-268-7279 Fax: 412-268-6298 Email WWW	Artificial intelligence, natural-language processing, machine learning, machine translation
Carley, Kathleen Professor Institute for Software Research	Office: Wean Hall 5130 Phone: 412-268-6016 Fax: 412-268-1744 Email	Network science, dynamic network analysis, link analysis, multi-agent simulation, text-analysis in support of interdisciplinary research linking computation to complex socio-cultural phenomenon
Carrasquel, Jacobo Assoc. Teach. Prof. / Ugrad Adv. for CS Computer Science Department	Office: Gates and Hillman Centers 6019 Phone: 412-268-6729 Fax: 412-268-5573 Email WWW	Introductory Programming Group, SCS representative in Educational Facilities Committee
Carter, Lynn Associate Teaching Professor, ISR Institute for Software Research	Office: Phone: Email WWW	To establish a new level of performance, responsiveness, predictability and quality in large, embedded, and complex system architecture, design, development, deployment, and operations activities.
Cassell, Justine Director and Professor Human Computer Interaction Institute	Office: Newell-Simon Hall 3519 Phone: 412-204-6268 Email WWW	Enabling Technologies, Learning Sciences and Technologies, Social Computing
Cervesato, Iliano Associate Teaching Professor, CSD (Qatar) Computer Science Department	Office: QATAR2 1008 Phone: 974-454-8643 Fax: 974-492-8255 Email WWW	Computational logic; constructive mathematics; lambda-calculus; logical frameworks; programming languages; proof-theory; semantics of programming languages; type theory; computer security; verification; logic; cryptographic protocols; logic programming; end-user applications; distributed computation; educational computing; web applications
Choset, Howard Professor Robotics Institute	Office: Newell-Simon Hall 3205 Phone: 412-268-2495 Email WWW	Space robotics, snake robots, multirobot systems, motion planning, mobile robots, mechatronics, mechanisms, inspection, field robotics, factory and warehouse automation, education, control, artificial intelligence
Clarke, Edmund Fore Systems University Professor Computer Science Department	Office: Gates and Hillman Centers 9231 Phone: 412-268-2628 Fax: 412-268-5576 Email WWW	Hardware and Software Verification using Model Checking
Cohen, William Research Professor Machine Learning Department	Office: Gates and Hillman Centers 8217 Phone: 412-268-7664 Fax: 412-268-3431 Email WWW
Cooper, Eric Distinguished Service Prof. of Comp. Sci. Computer Science Department	Office: Wean Hall 8206 Phone: 412-268-5295 Fax: 412-268-5576 Email WWW	Programming languages, operating systems, networks, and open-source software, commercialization of information technology
Corbett, Albert Associate Research Professor Human Computer Interaction Institute	Office: Newell-Simon Hall 3605 Phone: 412-268-8808 Fax: 412-268-1266 Email WWW	Learning Sciences and Technologies
Cortina, Thomas Associate Teaching Professor Computer Science Department	Office: Gates and Hillman Centers 4117 Phone: 412-268-3514 Fax: 412-268-5576 Email WWW	Computer Science education
Cranor, Lorrie Associate Professor Institute for Software Research	Office: Collaborative Innovation Center 2207 Phone: 412-268-7534 Fax: 412-268-2338 Email WWW	Privacy, usable privacy and security software, computers and society, technology policy, voting
Crary, Karl Associate Professor Computer Science Department	Office: Gates and Hillman Centers 9217 Phone: 412-268-7687 Fax: 412-268-5576 Email WWW	Programming languages, type theory, logic, certified code, and machine-readable proofs.