Seminars
-
Prof. Luca Benini (University of Bologna & STmicroelectronics, Italy)
Designing a Many-Core Homogeneous Computing Chip in 28nm: Lessons Learned - Part 1
-
Prof. Alberto Sangiovanni-Vincentelli (University of California at Berkeley, USA)
Cyber-Physical System Design Challenges and Solutions
-
Prof. Peter Müller (ETHZ, Switzerland)
The Spec# Programming System - Part 2
-
Prof. Peter Müller (ETHZ, Switzerland)
The Spec# Programming System - Part 1
-
Prof. Rolf Ernst (TU Braunschweig, Germany)
Switched Network Based Embedded Systems for Time and Safety Critical Applications - Part 2
-
Prof. Rolf Ernst (TU Braunschweig, Germany)
Switched Network Based Embedded Systems for Time and Safety Critical Applications - Part 1
-
Prof. Joseph Sifakis (EPFL, Switzerland)
Rigorous System Design in BIP - Part 1
-
Andrea Montanari (Stanford University, USA)
Hypothesis Testing in High-Dimensional Problems
-
Pradeep Ravikumar (UT Austin, Switzerland)
Component-based Models for High-Dimensional Data: Graphical Models and Structurally Constrained Models
-
Kamalika Chaudhuri (UCSD, Switzerland)
Spectral Clustering of Graphs in the Degree-Corrected Stochastic Block Model
-
Devavrat Shah (Massachusetts Institute of Technology, USA)
Iterative Ranking from Pair-wise Comparisons
-
Renato Renner (ETH Zurich, Switzerland)
Efficient Polar Coding of Quantum Information
-
Katalin Marton (Hungarian Academy of Sciences, Hungary)
Distances between measures, relative entropy and measure concentration
-
Erik Nimwegen (Universitaet Basel, Switzerland)
How cells control their identity: Information theoretical concepts in gene regulatory networks
-
Askin Kocabas (Harvard, USA)
Understanding neural networks by controlling and evoking behavior
-
Garud Iyengar (Columbia University, USA)
A Cellular Solution to an Information Processing Problem
-
Madhu Sudan (Microsoft Research, USA)
Communication Amid Uncertainty
-
Ilya Mironov (Microsoft Research Silicon Valley, USA)
Differential Privacy as a Protocol Constraint
-
Yuval Ishai (Technion, Israel)
The Complexity of Information Theoretic Secure Computation
