 |
Rajeev Alur
Zisman Family Professor,
Graduate Group Chair
Recent Courses Taught:
Logic in Computer Science
Program Analysis
Computer Aided Verification |
 |
Norm Badler
Professor,
Director of HMS Lab
Recent Courses Taught:
Intro to Computer Graphics Tech
Virtual World Design
Computer Graphics
Computer Modeling and Animation Applications |
 |
Matt Blaze
Associate Professor
Recent Courses Taught:
Technology and Policy
Computer Operating Systems & Lab
Security Vulnerabilities |
 |
Kostas Daniilidis
Associate Professor
Recent Courses Taught:
Data Structures and Algorithms
Computer Vision
Robotics
Special Topics in Machine Perception |
 |
Susan Davidson
Weiss Professor,
CIS Department Chair
Recent Courses Taught:
Into to Databases and Management Systems
Advanced Topics in Database Systems
Biomedical Databases |
 |
Jean Gallier
Professor
Recent Courses Taught:
Mathematical Foundations of Computer Science
Automata, Computability and Complexity
Introduction to the Theory of Computation
Advanced Geometic Methods in Computer Science |
 |
Jean Griffin
Senior Lecturer
Recent Courses Taught:
Introduction to Computer Programming
|
 |
Sudipto Guha
Assistant Professor
Recent Courses Taught:
Automata, COmputability and Complexity
Analysis of Algorithms
Approximation Algorithms |
 |
Zack Ives
Assistant Professor
Recent Courses Taught:
Internet and Web Systems
Database Management Systems
Advanced Topics in Databases
|
 |
Aravind Joshi
Henry Salvatori Professor of Computer and Cognitive Science
Recent Courses Taught:
Math Techniques in Natural Language Processing
Seminar in Natural Language Processing |
 |
Sampath Kannan
Professor,
Associate Dean, SEAS
Recent Courses Taught:
Mathematical Foundations of Computer Science
Algorithms
Advanced Computational Biology
Analysis of Algorithms
Topics in Discrete Algorithms |
 |
Michael Kearns
Professor
Recent Courses Taught:
Networked Life
Seminar on Foundations of Cryptography
Computational Game Theory
Advanced Topics in Machine Learning
Advanced Topics in AI |
 |
Sanjeev Khanna
Professor
Recent Courses Taught:
Randomized Algorithms
Advanced Topics in Algorithms
Introduction to Algorithms |
 |
Insup Lee
Cecilia Fitler Moore Professor
Recent Courses Taught:
Software Systems
Real-Time and Embedded Systems
Integration of Embedded Systems
Advanced Topics in Software Systems
|
 |
Boon Thau Loo
Assistant Professor
Recent Courses Taught:
Software (Distributed) Systems
Networked Systems
Networking meets Databases |
 |
Mitch Marcus
RCA Professor of Artificial Intelligence
Recent Courses Taught:
Introduction to Natural Language Processing
Explorations in Information Technology
Artificial Intelligence
|
 |
Milo Martin
Assistant Professor
Recent Courses taught:
Digital Systems Organization and Design Lab
Introduction to Computer Architecture
Special Topic: Hardware Support for Security
Special Topic: Multiprocessor Computer Architecture & Server Workloads |
 |
Dave Matuszek
Senior Lecturer,
Director MCIT
Recent Courses Taught:
Programming Languages & Techniques I, II, III
Emerging Web Technologies |
 |
Max Mintz
Professor
Recent Courses taught:
Quantum Computing and Information Science
Mathematical Foundations of Computer Science I, II
Theory of Computation
Discrete Probability, Stochastic Processes, and Statistical Inference |
 |
Ani Nenkova
Assistant Professor
Recent Courses Taught:
Special Topic: Readability and Discourse Structure
Natural Language Processing
Computability and Models of Computation
|
 |
Diana Palsetia
Lecturer, MCIT Program
Recent Courses Taught:
Introduction to Electrical and Systems Engineering
Introduction to Computer Architecture
Digital Systems Organization and Design
Introduction to Java |
 |
Fernando Pereira
Andrew and Debra Rachleff Professor
Recent Courses Taught:
Machine- Learning Models and Algorithms for Structured Data
Machine Learning for Language Processing
Programming Languages & Techniques I
|
 |
Benjamin Pierce
Professor
Recent Courses Taught:
Software Foundations
Mathematical Foundations of Computer Science
Advanced Topics in Programming Langauges
Advanced Programming |
 |
Amir Roth
Associate Professor
Recent Courses Taught:
Introduction to Computer Architecture
Digital Systems Organization and Design
Advanced Topics in Computer Architecture
|
 |
Alla Safonova
Assistant Professor
Recent Courses taught:
Physically Based Character Animation
Computer Graphics
|
 |
Jianbo Shi
Assistant Professor
Recent Courses Taught:
Robotics
Computer Vision
Vision and Learning
Machine Perception
|
 |
Jonathan M. Smith
Olga and Alberico Pompa Professor
Recent Courses Taught:
Introduction to Computing Systems
Software Design/Engineer
Introduction to Computer Architecture |
 |
Oleg Sokolsky
Research Associate Professor
Research Areas:
Formal Methods & Software Engineering
Logic and Computation
Real-Time Systems, Hybrid Systems
|
 |
Val Tannen
Professor
Recent Courses Taught:
Data Structures and Introduction to Algorithms
Friendly Logics
Database Management Systems |
 |
Ben Taskar
Assistant Professor
Recent Courses Taught:
Fundamentals of Artificial Intelligence
Advanced Topics in AI
|
 |
CJ Taylor
Associate Professor, Undergraduate Chair
Recent Courses Taught:
Senior Design
Machine Perception
Computational Linear Algebra
|
 |
Lyle Ungar
Associate Professor
Recent Courses taught:
Cognitive Science
Machine Learning for Bioinformatics
Artificial Intelligence
Introduction to Bioinformatics |
 |
Stephanie Weirich
Assistant Professor
Recent Courses Taught:
Programming Languages and Techniques I
Advanced Topics in Programming Languages
Software Foundations
Principles of Programming Languages |
 |
Steve Zdancewic
Assistant Professor
Recent Courses Taught:
Software and Compiler Verification
Computer and Network Security
Introduction to Networks and Security
Calculus and Foundations of Concurrent Systems
Advanced Topics in PL
|
 |
Shruti Shah, class of 2007 |
 |
Students working together in the Eniac Computer Lab. |
 |
Senior Banquet, class of 2007. |
|
|
photo credit: Kamila Dyjas Mauro
|