 |
|
||||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
|
|||||||
|
|
||||||||||||||
|
|
||||||||||||||
|
|
||||||||||||||
Fall 2001 to Spring 2002
Sponsored by Citigroup Corporate & Investment Bank
| Amir
Pnueli, New York University and Weizmann Institute Taming the Infinite: Verification of Parameterized Systems Abstract Friday November 2, 2:00pm Location Harriman Hall 108 |
| Dawson Engler,
Stanford University How to find lots of bugs with system-specific static analysis Abstract Friday November 30, 2:00pm Location Student Activities Center 302 |
| Steven Feiner,
Columbia University Environment Management for Augmented Reality Abstract Friday December 14, 2:00pm Location Javits 101 |
| Jim Foley,
Georgia Tech Economic Development --- Research Universities' New Imperative Friday February 8, 2:15pm Location Javits 102 |
| Mark Wegman, IBM T.J. Watson Research Center Optimizing Component Interaction Abstract Friday March 1, 2:15pm Location Javits 102 |
| George Hart, SUNY
Stony Brook Computational Geometry for Sculpture Abstract Friday, March 8, 2:15pm Location Javits 102 |
| Tom Mitchell,
Carnegie-Mellon University and WhizBang! Artificial Intelligence and the Imminent Revolution in Brain Science Abstract Friday March 15, 2:15pm Location Javits 102 |
Distinguished Lecture Series
