diff --git a/content/about.md b/content/about.md index 0329f14..40c8b49 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 ## +- **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)**: [[slides](https://justinh.su/files/slides/oplss21.pdf)] [[recordings](https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php)] diff --git a/content/news.md b/content/news.md index cc26666..ad75a15 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **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/)! + **07/2021** I'm happy to serve on the PC of **POPL 2022** and **PLDI 2022**. Submit your best papers! + **06/2021** I gave four lectures at this year's (virtual) [Oregon PL Summer