diff --git a/content/about.md b/content/about.md index 40c8b49..6b12d2e 100644 --- a/content/about.md +++ b/content/about.md @@ -44,6 +44,7 @@ From a more traditional algorithms perspective, I am also interested in applying differential privacy to optimization, machine learning, and mechanism design. ## Teaching ## +- **Data Structures and Functional Programming (CS 3110)**: [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/) - **Foundations of Probabilistic Programming (CS 6182)**: [F21](https://www.cs.cornell.edu/courses/cs6182/2021fa/) - **Reasoning about Probabilistic Programs**
**Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**: diff --git a/content/news.md b/content/news.md index 01663cf..50cf284 100644 --- a/content/news.md +++ b/content/news.md @@ -1,4 +1,10 @@ -+ **11/2021** *A Separation Logic for Negative Dependence** to appear at **POPL ++ **01/2022** I will be co-chairing [**MFPS 38**](https://www.cs.cornell.edu/mfps-2022/) + with Christine Tasson, planned to be hybrid with an in-person meeting in + **Ithaca, New York**. Submit your best papers! ++ **01/2022** This spring, I am co-teaching 🐫[**Data Structures and Functional + Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2022sp/)🐫 + with Nate Foster. ++ **11/2021** **A Separation Logic for Negative Dependence** to appear at **POPL 2022**. + **08/2021** This fall, I'm teaching a graduate seminar on **Foundations of Probabilistic Programming (CS 6182)**. Follow along [here](https://www.cs.cornell.edu/courses/cs6182/2021fa/)!