Update website.
This commit is contained in:
parent
b9cc9668c2
commit
6507a8c63e
|
@ -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** <br>
|
||||
**Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**:
|
||||
|
|
|
@ -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/)!
|
||||
|
|
Loading…
Reference in New Issue