April 28, 2011 - Joan Feigenbaum, Yale University
Title: The DISSENT Approach to Anonymous, Interactive Communication on the Internet.
Hosted by Bhaskar DasGupta.
View in Quicktime or your iPhone

---

April 12, 2011 - Ernie Davis, New York University
Title: Commonsense Reasoning about Chemistry Experiments: Ontologies and Representations.
Hosted jointly by MSCS and the Department of Computer Science.
View in Quicktime or your iPhone

---

April 7, 2011 - Michael T. Goodrich, University of California, Irvine
Title: Turning Privacy Leaks into Floods: Surreptitious Discovery of Social Network Friendships and Other Sensitive Binary Attribute Vectors.
Host: Isabel Cruz
View in Quicktime or your iPhone

---

March 3, 2011 - Somesh Jha, University of Wisconsin, Madison
Title: Retrofitting Legacy Code for Security.
Host: Venkat Venkatakrishnan
View in Quicktime or your iPhone

---

January 27, 2011 - Karem Sakallah, University of Michigan
Title: Scalable Formal Hardware Verification Through Automatic Abstraction.
Host: John Lillis
View in Quicktime or your iPhone

---

January 14, 2011 - Mitchel Resnick, MIT
Title: Programming for Everyone: Rethinking Literacy and Creativity for the 21st Century.
Host: Leilah Lyons
View in Quicktime or your iPhone

---

November 17, 2010 - Ketan Mulmuley, University of Chicago
Title: Geometric complexity theory approach towards P vs. NP.
Host: Bhaskar DasGupta
View in Quicktime or your iPhone

---

April 1, 2010 - Maurice Herlihy, Brown
Title: Transactional Memory Today.
Host: Ajay Kshemkalyani
View in Quicktime or your iPhone

---

February 18, 2010 - Martha Pollack, Michigan
Title: Computing Outside the Box
Hosts: Barbara Di Eugenio
View in Quicktime or your iPhone

---

December 3, 2009 - Hector Garcia Molina, Stanford
Title: A Social Site for Academic Course Planning and Evaluation
Host: Philip Yu
View in Quicktime or your iPhone

---

November 19, 2009 - Leora Morgenstern, IBM Watson
Title: Formal Theories of Business Strategy and Narration for Commercial Applications
Hosts: Bob Sloan & Gyorgy Turan
View in Quicktime or your iPhone

---

November 10, 2009 - Mihalis Yannakakis, Columbia
Title: Computational aspects of equilibria.
Host: Bhaskar Dasgupta
View in Quicktime or your iPhone
View the slides for this talk