+ **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!
+ **04/2018** **Almost Sure Productivity** will appear at **ICALP 2018**!
+ **04/2018** Slides now available for **An Assertion-Based Program Logic for
  Probabilistic Programs**.
+ **04/2018** Our preprint **Constraint-Based Synthesis of Coupling Proofs** is
  now available.
+ **04/2018** **Constraint-Based Synthesis of Coupling Proofs** will appear at
  **CAV 2018**!
+ **03/2018** Our preprint **Probabilistic Program Equivalence for NetKAT** is
  now available.
+ **02/2018** Our preprint **Almost Sure Productivity** is now available.
+ **02/2018** I will be serving on the program committee of [**LICS
  2018**](http://lics.siglog.org/lics18/) in Oxford, England.
+ **01/2018** Slides now available for **Proving Expected Sensitivity of
  Probabilistic Programs**.