Tuesday, January 8, 2002
Zachary Ives
Computer Science Department - University of Washington
Title: Efficient Query Processing for Data Integration

 

Tuesday, February 5, 2002
Adrian Perrig
Department of Electrical Engineering and Computer Science - University of California, Berkeley
Title: Security Protocols for Broadcast Network

 

Tuesday, February 19, 2002
Stephanie Weirich
Department of Computer Science - Cornell University
Title: Programming with Types

 

Thursday, February 21, 2002
Steve Zdancewic
Department of Computer Science - Cornell University
Title: Programming Languages for Secure Information Flow

 

Tuesday, February 26, 2002
Daniel Jimenez
Department of Computer Science - University of Texas
Title: Building Better Branch Predictors

 

Tuesday, March 5, 2002
Daniel Sorin
Department of Computer Science - University of Wisconsin
Title: SafetyNet: Improving the Availability and Designability of Shared Memory Multirocessors

 

Thursday, March 7, 2002
Hany Farid
Department of Computer Science - Dartmouth College
Title: Mixing and Unmixing Digital Images

 

Tuesday, March 19, 2002
Jeffrey Foster
Department of Computer Science - University of California, Berkeley
Title: Type Qualifiers: Lightweight Specifications to Improve Software Quality

 

Thursday, March 21, 2002
Steve Marschner
Computer Science Department - Stanford University
Title: Measuring and Modeling the Appearance of Materials for Computer Graphics

 

Tuesday, March 26, 2002
Alexandros Labrinidis
Department of Computer Science - University of Maryland
Title: WebView Materialization for Scalable Web Servers

 

Thursday, March 28, 2002
Zhendong Su
Computer Science Department - University of California, Berkeley
Title: Constraint Simplification for Scalable Program Analysis

 

Tuesday, April 2, 2002
Yan Solihin
Computer Science Department - University of Illinois at Urbana-Champaign
Title: Improving Memory Performance Using Intelligent Memory

 

Monday, April 8, 2002
Dawn Song
Computer Science Department - University of California, Berkeley
Title: Automatic Tools for Building Secure Systems

 

Special Events in Spring 2002

 

Thursday, March 21, 2002
The School of Engineering and Applied Science & Penn's Information Systems and Computing cordially invite you to a conversation with:
Vinton Cerf & David J. Farber
Topic of conversation: "The Internet Tidal Wave...is it inevitable?" For Further information on our speakers please visit their web sites at: David Farber or Vinton Cerf

 

Tuesday, April 23, 2002
Grace Hopper Lecture Series 2002
Distinguished Lecturer: Karen Sparck-Jones Computer Laboratory, Cambridge University
Title: Languages and Information: Old Ideas, New Achievements

 

Thursday, April 25, 2002
Saul Gorn Memorial Lecture 2002
Distinguished Lecturer: Roger Needham Microsoft Research and Cambridge University

 

Friday, May 10, 2002
Jianbo Shi
Robotics Institute - Carnegie Mellon University
Title: Seeing the big picture in vision: from local structure to global pattern

 

Thursday, September 19, 2002
Lori A. Clake
Laboratory for Advanced Software Engineering Research - Department of Computer Science - University of Massachusetts
Title: Helping Developers Specify Properties

 

Tuesday, September 24, 2002
Colloquia Speaker: Sriram Rajamani
Microsoft Research
Title: SLAM: Software Model Checking from Theory to Practice

 

Thursday, October 3, 2002
J Strother Moore
Admiral B.R. Inman Centennial Chair in computing Theory Department of Computer Science - University of Texas at Austin
Title: Machines Reasoning about Machines

 

Thursday, October 10, 2002
Michael I. Jordan
Department of Computer Science - University of California at Berkeley
Title: Probabilistic graphical models: empirical Bayes and semiparametric methods

 

Thursday, October 17, 2002
Andrew Blake
Senior Researcher - Microsoft Research Cambridge
Title: Generative, probabilistic models in Computer Vision

 

Thursday, October 24, 2002
Jessica Hodgins
College of Computing - Georgia Tech
Title: Animating Human Character

 

Tuesday, November 5, 2002
Candace Sidner
Senior Research Scientist - Mitsubishi Electric Research Laboratories
Title: Collaborative Interface Agents: Creating and Interacting with Them

 

Tuesday, November 12, 2002
Shafi Goldwasser
MIT - Electrical Engineering and Computer Science
Title: The Mathematical Foundations of Cryptography

 

Thursday, November 14, 2002
Dan Koditschek
Electrical Engineering and Computer Science - College of Engineering - University of Michigan
Title: Programming Machines That Work

 

Thursday, November 21, 2002
Douglas Clark
Computer Science Department - Princeton University
Title: Computer Architecture: A Qualitative Approach

ARCHIVES
Current Departmental Colloquia
2004 Departmental Colloquia
2003 Departmental Colloquia
2001 Departmental Colloquia