+ **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 School](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php). Slides and lecture recordings are [available online](https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php). Thanks to the organizers, and thanks to all the enthusiastic students! + **04/2021** I'm happy to serve on the PC of [**MFPS XXXVII**](https://easychair.org/cfp/MFPS37), which will take place online along with [**CALCO 2021**](https://easychair.org/cfp/CALCO2021). Submit your best papers! + **04/2021** **A Bunched Logic for Conditional Independence** and **A Quantum Interpretation of Bunched Logic & Quantum Separation Logic** to appear at **LICS 2021**. + **01/2021** **A Pre-Expectation Calculus for Probabilistic Sensitivity** has been selected as a **Distingiushed Paper** at **POPL 2021**! + **12/2020** **Learning Differentially Private Mechanisms** to appear at **S&P 2021**. + **10/2020** I was happy to present a tutorial on probabilistic couplings at [**CMCS 2020**](https://www.coalg.org/cmcs20/). Slides are available [here](https://justinh.su/files/slides/cmcs20-tutorial.pdf). + **10/2020** **A Pre-Expectation Calculus for Probabilistic Sensitivity** to appear at **POPL 2021**. + **09/2020** This fall, I'm teaching a graduate seminar on **Security and Privacy in Data Science (CS 763)**. Follow along [here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs763/)! + **07/2020** I was happy to give a talk at the [**Online Worldwide Seminar on Logic and Semantics: Young Researcher (OWLS-YR)**](https://www.cs.bham.ac.uk/~vicaryjo/owls/) on probabilistic separation logic. Slides are available [here](https://justinh.su/files/slides/owls-yr.pdf).