|
 |
Video Archive
"Contrariwise," continued Tweedledee, "if it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic."
- From Lewis Carroll, Through the Looking Glass. Quoted by Professor
Moshe Vardi, October 31, 2005 lecture on "And Logic Begat Computer Science: When Giants Roamed the Earth."
We are pleased to present this archived collection of our main
lecture series: distinguished academic lectures; distinguished
entrepreneur lectures; Donald B. Gillies Memorial Lectures; and
Conference Lectures. This video collection presents a rich treasure trove of thoughtful reflections from the remarkable academics, entrepreneurs, writers, and pivotal computer science figures who have graced our lecture halls since 1998.
Distinguished Academic Lectures
| Title |
Date |
Speaker |
|
The Regulatory Genome and the Computer
|
Apr
28, 2008 |
Sorin Istrail |
|
Bayesian models of language acquisition, Or, Where do the rules come from?
|
Apr 7, 2008 |
Mark Johnson |
|
New Sciences for a New Web
|
Mar
31, 2008 |
Prabhakar Raghavan |
|
A Wireless Sensor Network for Traffic Surveillance
|
Mar 10, 2008 |
Pravin Varaiya |
|
Internet-Scale Overlay Hosting
|
Mar
5, 2008 |
Jonathan Turner |
|
Wide Area Consensus
|
Feb 18, 2008 |
Keith Marzullo |
|
An Ultimate Type System
|
Jan
28, 2008 |
Greg Morrisett |
|
Web Search: Challenges, Directions, and Opportunities
|
Dec 3, 2007 |
Amit Singhal, Google Fellow |
|
Architecture-aware analysis of concurrent software
|
Oct 15, 2007 |
Rajeev Alur |
|
Towards A Theory of Automated Software Development
|
Oct 1, 2007 |
Don Batory |
|
Decentralized Search, Cascading Behavior, and the Structure of On-Line Communities
|
May 1, 2007 |
Jon Kleinberg |
|
First-Order System LL* (FOSLL*)for Maxwell's equations in 3D with edge singularities
|
Apr 30, 2007 |
Tom Manteuffel |
|
In Crowds We Trust
|
Apr 23, 2007 |
Irene Greif |
|
Unleashing the Computer's Potential for Communication
|
Apr 16, 2007 |
David Salesin |
|
Exploring the 21st Century via the Internet
|
Apr 11, 2007 |
Vinton Cerf |
|
Technology and Policy Challenges for the Internet in 2007
|
Apr 10, 2007 |
Vinton Cerf, Google Chief Internet Evangelist and VP |
|
More Natural Programming Through User Studies
|
Apr 9, 2007 |
Brad Myers |
| A Tapeless World Can Be Inexpensive |
Mar 26, 2007 |
Kai Li |
|
Cyberinfrastructure Initiatives
|
Mar 29, 2007 |
Daniel E. Atkins |
| Information Retrieval in Context |
Mar 26, 2007 |
Susan Dumais |
|
Watching People
|
Mar 5, 2007 |
David Forsyth |
| Finding Strangers and Security of Peer-to-peer Networks |
Feb 26, 2007 |
Nikita Borisov |
|
Recent Results in Parsing
|
Feb 5, 2007 |
Eugene Charniak |
| UIA: Unmanaged Internet Architecture |
Jan 29, 2007 |
Frans Kaashoek |
| Human-Centered Computing as a Computer Scientist |
Dec 4, 2006 |
Gregory Abowd |
| What is Theoretical Computer Science? |
Nov 27, 2006 |
Sanjeev Arora |
| Recent Developments in Nonparametric Hierarchical Bayesian Modeling |
Nov 13, 2006 |
Michael Jordan |
| Discovering Regulatory Signals in DNA Sequences |
Oct 30, 2006 |
Gary Stormo |
| Duality in Projective Geometry |
Oct 16, 2006 |
Dana Scott |
| Model Checking: From Hardware To Software And Back Again |
Apr 10, 2006 |
Edmund M. Clarke |
| The Stanford Data Stream Management System |
Mar 13, 2006 |
Jennifer Widom |
| The Future of Compilers for Parallel Architectures, from Systems-on-a-Chip to Supercomputers |
Mar 6, 2006 |
Mary W. Hall |
| Planning with Loops |
Feb 20, 2006 |
Hector Levesque |
| Gender, Lies and Video Games: the Truth about Females and Computing |
Feb 13, 2006 |
Maria Klawe |
| Emerging Technologies and Knowledge Management |
Feb 6, 2006 |
Jonathan Grudin |
| An Overview of the Singularity Project |
Jan 30, 2006 |
Jim Larus |
| And Logic Begat Computer Science: When Giants Roamed the Earth |
Oct 31, 2005 |
Moshe Vardi |
| Dynamic Network Analysis Applied to Counter Terrorism |
Oct 24, 2005 |
Kathleen Carley |
| Design Challenges for High Data Rate UWB Wireless Networks |
Oct 17, 2005 |
V. Srinivasa Somayazulu |
| Metric Space Epsilon-nets and their Applications |
Oct 3, 2005 |
Ken Clarkson |
| Improving the Reliability of Commodity Operating System |
Sep 12, 2005 |
Hank Levy |
| Distinguished Lecturere Series: Digital Materials and Virtual Weathering |
Apr 11, 2005 |
Julie Dorsey |
| Future Systems Challenges and Opportunities |
Mar 28, 2005 |
Tilak Agerwala |
| Reshaping the Front-end of Computing |
Mar 7, 2005 |
Ambuj Goyal |
| Life-Sized Learning |
Feb 28, 2005 |
Leslie Pack Kaelbling |
| Networking....successes, new challenges, and an expanding waist, as the field turns 40 |
Feb 7, 2005 |
Jim Kurose |
| Developing a Foundation for Code Optimization |
Jan 31, 2005 |
Mary Lou Soffa |
| Conceptualizing and Supporting Awareness in Computer-Supported Cooperative Work |
Dec 6, 2004 |
John Carroll |
| Data-Powered Computing |
Nov 15, 2004 |
Bernard Chazelle |
| Advanced Data Mining Tools: Fractals and Power Laws for Graphs, Streams and Traditional Data |
Oct 4, 2004 |
Christos Faloutsos |
| Robotic Manipulation |
Sep 27, 2004 |
Matt Mason |
Distinguished Entrepreneur Lectures
Donald B. Gillies Memorial Lectures
| Title |
Date |
Speaker |
| Looking
for Bugs in All the RIGHT Places |
May 2, 2005 |
Elaine Weyuker |
| Taming
the Infinite: Verification of Infinite-State Systems |
Nov 17, 2003 |
Amir Pnueli |
| Converting Cycles into RASS (Reliability, Availability, Serviceability, Security) |
Dec 2, 2002 |
Monica S. Lam |
| Kinetic Data Structures |
Mar 25, 2002 |
Leonidas Guibas |
| Rules of
Thumb in Data Engineering |
Apr 23, 2001 |
James Gray |
| Barriers to Digital Libraries |
Nov 1, 1999 |
Hector Garcia-Molina |
| Convergence Architectures and the Stanford FLASH Machine |
Nov 9, 1998 |
John Hennessy |
Department/Alumni Videos
Conference Lectures
--
Last Modified June 12 2008 07:22:10.
|
|
|
