2000-2001 Distinguished Lecture Series

(CSE|MSU)

Most speakers will be on campus for the day of their talks. You can schedule times to meet them by contacting their hosts.

Constance Heitmeyer Center for High Assurance Computer Systems Naval Research Laboratory Washington, DC	"Applying the SCR Requirements Method to the Specification and Analysis of Software Systems" abstract	April 13 Talk: 10-11 a.m. Rm. 1535 Engineering Host: B. Cheng
Dr. Klara Nahrstedt Department of Computer Science University of Illinois at Urbana-Champaign	"Quality of Service Management in Ubiquitous Environments" abstract	March 20 Talk: 12:30 - 2 p.m. Rm. 1225 Engineering Host: P. McKinley
Dr. Mukesh Singhal Dept. of Computer and Info. Science The Ohio State University and The National Science Foundation	"Security Mechanisms in High-Speed Networks" abstract	February 13 Talk: 10:30 - 11:30 a.m. Rm. 3105 Engineering Host: L. Ni
Dr. Barbara Ryder Computer Science Rutgers University	"Data-Flow Analysis of Program Fragments" abstract	January 16 Talk: 12:30-2 p.m. Rm. 1225 Engineering Host: L. Dillon
Dr. Don Batory Department of Computer Sciences University of Texas at Austin	"Refinements and Product Line Architectures" abstract	January 25 Talk: 12:30-2 p.m. Rm. 221 Natural Resources Host: K. Stirewalt
Dr. John Knight Department of Computer Science University of Virginia	"Survivability of Critical Infrastructure Systems" abstract Presentation Slides	January 30 Talk: 12:30-2 p.m. Rm. 1225 Engineering Host: B. Cheng
Dr. Thomas S. Huang Beckman Institute for Advanced Science and Technology and Electrical and Computer Engineering University of Illinois at Urbana-Champaign	"Visual Face Tracking and Its Application to Audio/Visual Speech Recognition" abstract	October 17 Talk: 12:30-2 p.m. Rm. 116 Farrall Hall Host: J. Weng
Dr. David Padua Department of Computer Science University of Illinois at Urbana-Champaign	"Compiler Technology and Scientific Computing" abstract	October 31 Talk: 12:30-2 p.m. Rm. 116 Farrall Hall Host: J. Lee

(CSE|MSU)