diff --git a/content/news.md b/content/news.md index 24b8d52..88ce5c4 100644 --- a/content/news.md +++ b/content/news.md @@ -1,4 +1,4 @@ -+ **07/2018** I am honored to receive a ACM SIGPLAN [**John C. Reynolds Doctoral ++ **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