Colloquium Spring 2020

Past Events

• APR 8
  2PM, Location TBA
  Sharing without Showing: Building Secure Collaborative Systems
  Wenting Zheng , University of California, Berkeley
• APR 1
  2PM, Location TBA
  Verifying Security Across Hardware & Software
  Klaus v. Gleissenthall , University of California, San Diego
• MAR 30
  2PM, Location TBA
  Breaking and Building End-to-End Encrypted Systems
  Paul Allen Grubbs , Cornell University
• MAR 25
  2PM, Location TBA
  Bridging CS and Math through the lens of Structure and Randomness
  Shachar Lovett , University of California, San Diego
• MAR 23
  2PM, Location TBA
  2-to-2 Games is NP-hard
  Dor Minzer , Princeton University
• MAR 20
  2PM, Location TBA
  Towards Training AI Agents with All Types of Experiences via a Single Algorithm
  Zhiting Hu , Carnegie Mellon University
• MAR 11
  2PM, 60 Fifth Avenue 150
  Secure Data-Intensive Applications through Automatic Formal Reasoning
  Gowtham Kaki , Purdue University
• MAR 9
  2PM, 60 Fifth Avenue 150
  Certified Artificial Intelligence
  Gagandeep Singh , ETH Zurich
• MAR 6
  11AM, 60 Fifth Avenue room 150
  Insights from Deep Representations for Machine Learning Systems and Human Collaborations
  Maithra Raghu , Cornell University
• MAR 4
  2PM, 60 Fifth Avenue 150
  Do ImageNet Classifiers Generalize to ImageNet?
  Ludwig Schmidt , University of California, Berkeley
• MAR 2
  2PM, 60 Fifth Avenue 150
  Variational Perspectives on Machine Learning: Algorithms, Inference, and Fairness
  Ashia Wilson , Microsoft Research
• FEB 28
  11AM, 60 Fifth Avenue 150
  Deep Probabilistic Graphical Modeling
  Adji Bousso Dieng , Columbia University
• FEB 26
  2PM, 60 Fifth Avenue 150
  A Variational Perspective on Optimization, Sampling, and Games for Machine Learning
  Andre Wibisono , Georgia Institute of Technology
• FEB 21
  11AM, 60 Fifth Avenue 150
  Verification of distributed protocols using decidable logics
  Oded Padon , Stanford University
• FEB 7
  11AM, 60 Fifth Avenue 150
  Deep Learning and Language Structure
  Yoon Kim , Harvard University