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
Paulos, Eric Associate Professor Human Computer Interaction Institute	Office: Newell-Simon Hall 3612E Phone: 412-268-3467 Fax: 412-268-1266 Email WWW
Pfenning, Frank Department Head and Professor Computer Science Department	Office: Gates and Hillman Centers 7019 Phone: 412-268-6343 Fax: 412-268-3608 Email WWW	Programming languages, logic, type theory, automated deduction, security
Platzer, Andre Assistant Professor Computer Science Department	Office: Gates and Hillman Centers 9103 Phone: 412-268-1558 Fax: 412-268-5576 Email WWW	Formal verification of hybrid, real-time, cyber-physical, and embedded systems; logic; automated theorem proving and model checking; computer algebra.
Pollard, Nancy Associate Professor Robotics Institute	Office: Smith Hall 227 Phone: 412-268-1479 Fax: 412-268-6436 Email WWW	Quality-of-life technology, manipulation, humanoid robotics, human motion simulation, computer graphics, animation
Procaccia, Ariel Assistant Professor Computer Science Department	Office: Gates and Hillman Centers 9021 Phone: 412-268- Fax: 412-268-5576 Email WWW	Artificial intelligence, computational game theory, computational social choice, algorithms