+ **09/2018** This fall, I'm teaching a graduate seminar: **Topics in Security and Privacy Technologies (CS 839)**. Follow along [here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs839/)! + **09/2018** I've joined the [**Department of Computer Sciences**](https://www.cs.wisc.edu/) at the **University of Wisconsin--Madison**! + **07/2018** **Convex Language Semantics for Nondeterministic Probabilistic Automata** will appear at **ICTAC 2018**! + **07/2018** I am honored to receive the ACM SIGPLAN [**John C. Reynolds Doctoral Dissertation Award**](http://www.sigplan.org/Awards/Dissertation/) for my dissertation **Probabilistic Couplings for Probabilistic Reasoning**! + **05/2018** Our preprint **Convex Language Semantics for Nondeterministic Probabilistic Automata** is now available. + **05/2018** I will be serving on the program committee of [**POPL 2019**](https://popl19.sigplan.org/) in Lisbon, Portugal. Submit your best papers!