Colloquium Spring 2009

Past Events

• MAY 1
  11:30AM, Warren Weaver Hall 1302
  Learning boundary detection by minimizing image segmentation error
  Sebastian Seung , Howard Hughes Medical Institute & MIT
• APR 30
  11:30AM, Warren Weaver Hall 102
  User-Centric Data Processing in Resource Constraint Environments
  Mohamed Sharaf , University of Toronto
• APR 29
  11:30AM, Warren Weaver Hall 1302
  On the power of broadcast algorithms in wireless ad hoc networks
  Majid Khabbazian , MIT
• APR 9
  11:30PM, Warren Weaver Hall 1302
  Bidirectional Programming Languages
  Nate Foster , University of Pennsylvania
• APR 6
  11:30AM, Warren Weaver Hall 1302
  Towards Reliable Storage Systems
  Haryadi Gunawi , University of Wisconsin, Madison
• APR 3
  11:30AM, Warren Weaver Hall 1302
  Accountability for distributed systems
  Andreas Haeberlen , Max Planck Institute for Software Systems
• APR 1
  11:30AM, Warren Weaver Hall 1302
  Learning from Collective Preferences, Behavior, and Beliefs
  Jennifer Wortman , University of Pennsylvania
• MAR 30
  11:30AM, Warren Weaver Hall 1302
  Strictly Declarative Specification of Sophisticated Points-to Analyses
  Martin Bravenboer , University of Massachusetts, Amherst
• MAR 27
  11:30AM, Warren Weaver Hall 1302
  Network Coded Wireless Architecture
  Sachin Katti , ICSI, University of California, Berkeley
• MAR 25
  11:30AM, Warren Weaver Hall 1302
  Pulling Rank: Inference from Incomplete Data
  Benjamin Recht , California Institute of Technology
• MAR 6
  11:30AM, Warren Weaver Hall 1302
  Stochastic Games in Synthesis and Verification.
  Krishnendu Chatterjee , University of California, Santa Cruz
• MAR 4
  11:30AM, Warren Weaver Hall 1302
  Functional Programming Perspectives on Concurrency and Parallelism
  Matthew Fluet , Toyota Technological Institute at Chicago
• FEB 27
  11:30AM, Warren Weaver Hall 1302
  Foundations of Privacy: Contextual Integrity, The Logic of Privacy and Beyond
  Anupam Datta , Research Scientist, Carnegie Mellon University
• FEB 25
  11:30AM, Warren Weaver Hall 1302
  Enlightened Trial and Error - Gaining Design Insight Through New Prototyping Tools
  Björn Hartmann , Stanford University
• FEB 23
  11:30AM, Warren Weaver Hall 1302
  Barriers in Cryptography and Complexity Theory
  Boaz Barak , Assistant Professor of Computer Science, Princeton University
• FEB 20
  11:30AM, Warren Weaver Hall 1302
  Practically Efficient Secrecy Preserving Proofs of Correctness of Computations, and Financial Cryptography
  Michael O. Rabin , Professor of Computer Science, Harvard University and Google Research
• FEB 13
  11:30AM, Warren Weaver Hall 1302
  Just Causes or Just-So Causes
  Bud Mishra , Professor of Computer Science & Mathematics, NYU
• FEB 6
  11:30AM, Warren Weaver Hall 1302
  Computer-based Design of Protein-Protein Interactions
  Brian Kuhlman , Assistant Professor of Biochemistry and Biophysics, University of North Carolina, Chapel Hill
• JAN 30
  11:30AM, Warren Weaver Hall 1302
  Learning Networks of Places and People from Location Data
  Tony Jebara , Columbia University