Date | Speaker | Title | Host |
---|
Thursday 02.03.11 | Jason Ernst MIT | Computational Regulatory Genomics and Epigenomics in Human, Fly, and Yeast | J. Kleinberg |
Tuesday 02.17.11 | Fred Schneider Cornell | Towards a Science for Security | |
Tuesday 02.22.11 | Hoifung Poon Univ of Wash | Markov Logic in Machine Reading | L. Lee |
Thursday 02.24.11 | Raluca Gordan Duke University | Combining different types of biological data to identify regulatory interactions between proteins and DNA | J. Kleinberg |
Tuesday 03.01.11 | | | |
Thursday 03.03.11 | | | |
Tuesday 03.08.11 | Katarina Argyraki EPFL | Evolving the network layer of the Internet
| F. Schneider |
Thursday 03.10.11 | Andrew Adams Stanford | Systems and Algorithms for Computational Photography
| D. James |
Tuesday 03.15.11 | Ryan Williams CMU | Algorithms, Obstructions, and Beating Exhaustive Search
| R. Kleinberg |
Thursday 03.17.11 | Guy Rothblum MIT | Differential Privacy: Recent Developements and Future Challenges
| R. Pass |
Tuesday 03.22.11 | | SPRING BREAK - NO COLLOQUIUM | |
Thursday 03.24.11 | | SPRING BREAK - NO COLLOQUIUM | |
Tuesday 03.29.11 | Arvind Krishnamurthy Univ of Wash. | Towards a More Resilient Internet
| E.Sirer |
Thursday 03.31.11 | Percy Liang Berkeley | Deep Semantics from Shallow Supervision
| T. Joachims |
Tuesday 04.05.11 | Shabhangi Saraf MIT | TBD
| R. Kleinberg |
Thursday 04.07.11 | David Steurer Microsoft Research | TBD
| R. Pass |
Tuesday 04.12.11 | Rohan Murty Harvard | TBD
| K. Birman |
Thursday 04.14.11 | Roxana Geambasu Univ of Wash. | Regaining Control Over Mobile and Cloud Data
| H. Weatherspoon |
Tuesday 04.19.11 | Adam Chlipala Harvard | Formal Verification of Software Infrastructure: From Science to Engineering
| N. Foster |
|