Distinguished Lecture Series

Next Distinguished Lecture

Building Smart Memories and Cloud Services with Derecho

Ken Birman
Cornell University

Monday, October 30, 2017
2:30 pm, Ryerson 251


Future and Past Distinguished Lectures

Building Smart Memories and Cloud Services with Derecho

Ken Birman
Cornell University

Monday, October 30, 2017
2:30 pm, Ryerson 251



New Era in Distributed Computing with Blockchains and Databases

Dr. C. Mohan
IBM Fellow & Distinguished Visiting Professor Tsinghua Univ.

Monday, October 23, 2017
2:30 pm, Ryerson 251



Testing Quantum Devices and Quantum Mechanics

Umesh Vazirani
University of California, Berkeley

Wednesday, May 10, 2017
2:30 pm, Ryerson 251


Internet of Things: History and Hype, Technology and Policy

Margaret Martonosi
Princeton University

Monday, December 2, 2016
3:00pm, Ryerson 251


The Automated-Reasoning Revolution: From Theory to Practice and Back

Moshe Y. Vardi
Rice University

Friday, September 9, 2016
3:00pm, Ryerson 251


RustBelt: Logical Foundations for the Future of Safe Systems Programming

Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS)

Thursday, May 12, 2016
3:00pm, Ryerson 251


Scaling Data Analytics with Moore's Law

Kunle Olukotun
Stanford University

Thursday, May 5, 2016
3:00pm, Ryerson 251


Programming Uncertain <T>hings

Kathryn S. McKinley

Thursday, February 4, 2016
3:30pm, Ryerson 251


RAMCloud and the Low-Latency Datacenter

John Ousterhout
Stanford University

Thursday, November 12, 2015
3:00pm, Ryerson 251


It's the End of the World as We Know It (And I Feel Fine)

James Larus
École Polytechnique Fédérale de Lausanne (EPFL)

Thursday, October 22, 2015
3:00pm, Ryerson 251


Bounded Staleness in Distributed Machine Learning Systems: Getting the Right Answer Sooner


Garth Gibson
Carnegie Mellon University

Thursday, April 16, 2015
3:00pm, Ryerson 251


Rethinking Computer Architecture for Energy Limited Computing

Wen-mei W. Hwu
University of Illinois at Urbana-Champaign

Thursday, January 22, 2015
3:00pm, Ryerson 251


Compiler Technology for Solving PDEs with Performance Portability

Paul H. J. Kelly
Imperial College London

Thursday, November 13, 2014
3:00pm, Ryerson 251


Computational Perspectives on Social Phenomena at Global Scales

Jon Kleinberg
Cornell University

Thursday, November 6, 2014
3:00pm, Ryerson 251


Towards a Theory of Trust in Networks of Humans and Computers

Jeannette Wing
Microsoft Research

Thursday, May 8, 2014
3:00pm, Ryerson 251


How can one trust the information they read over the Internet? We argue that a general theory of trust in networks of humans and computers must be built on both a theory of behavioral trust and a theory of computational trust.

Structured Data in Web Search

Alon Halevy
Google Research

Thursday, April 24, 2014
3:00pm, Ryerson 251


For the first time since the emergence of the Web, structured data is playing a key role in search engines and is therefore being collected via a concerted effort. The talk will describe some of the Google's efforts to collect structured data, filter the high-quality content, and serve its users.

Let's Stop Trusting Software With Our Sensitive Data

Srinivas Devadas
Massachusetts Institute of Technology

Tuesday, October 15, 2013
1:30pm, Ryerson 251


Suppose we only trust hardware manufacturers and cryptographers, and not system software developers, application programmers, or other software vendors. It will be the hardware manufacturer's job to produce a piece of hardware that provides some security properties.



  • Argonne National Laboratory
  • Computation Institute
  • The Chicago Center for the Theory of Computing and Allied Areas