diff --git a/content/about.md b/content/about.md
index 17df97c..64a0f12 100644
--- a/content/about.md
+++ b/content/about.md
@@ -14,6 +14,8 @@ Logic, and Verification Group](http://pplv.cs.ucl.ac.uk/welcome/) at the
 the [Department of Computer Science](https://cis.upenn.edu) at the [University
 of Pennsylvania](https://www.upenn.edu).
 
+I am funded by an NSF CAREER award and a Facebook Research award.
+
 ## Research Interests ##
 I design methods to **formally verify** that programs are correct, especially
 programs that use **randomization**. Such programs can be easy to show correct
diff --git a/content/news.md b/content/news.md
index c5fac48..77b6620 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,5 @@
++ **04/2020** I received an NSF CAREER award for **Cara: Compositional Analysis
+  for Randomized Algorithms**!
 + **01/2020** This spring, I'm teaching an undergraduate course **Introduction
   to the Theory and Design of Programming Languages (CS 538)**, covering Haskell
   and Rust. Follow along