diff --git a/content/about.md b/content/about.md
index 57e0a80..17df97c 100644
--- a/content/about.md
+++ b/content/about.md
@@ -3,22 +3,16 @@ Sciences](https://www.cs.wisc.edu/) at the [University of
 Wisconsin--Madison](https://www.wisc.edu).
 
 
-**I am currently looking for good students!**
+**I am always looking for good students!**
 
 
-Previously, I was a postdoc in the [Department of Computer
+Previously, I was a postdoc at the [Department of Computer
 Science](https://www.cs.cornell.edu/) at [Cornell
-University](https://www.cornell.edu/), hosted by [Nate
-Foster](http://www.cs.cornell.edu/~jnfoster/), [Bobby
-Kleinberg](http://www.cs.cornell.edu/~rdk/), and [Dexter
-Kozen](http://www.cs.cornell.edu/~kozen/), and in the [Programming Principles,
+University](https://www.cornell.edu/), and at the [Programming Principles,
 Logic, and Verification Group](http://pplv.cs.ucl.ac.uk/welcome/) at the
-[University College London](https://www.ucl.ac.uk/), hosted by [Alexandra
-Silva](http://www.alexandrasilva.org/). I was a graduate student in the
-[Department of Computer Science](https://cis.upenn.edu) at the [University of
-Pennsylvania](https://www.upenn.edu), where I was very fortunate to be advised
-by [Benjamin Pierce](https://cis.upenn.edu/~bcpierce) and [Aaron
-Roth](https://cis.upenn.edu/~aaroth).
+[University College London](https://www.ucl.ac.uk/). I was a graduate student in
+the [Department of Computer Science](https://cis.upenn.edu) at the [University
+of Pennsylvania](https://www.upenn.edu).
 
 ## Research Interests ##
 I design methods to **formally verify** that programs are correct, especially
@@ -52,8 +46,9 @@ differential privacy to optimization, machine learning, and mechanism design.
 - **Topics in Security and Privacy Technologies (CS 839)**: [F18](https://pages.cs.wisc.edu/~justhsu/teaching/f18/cs839/)
 
 ## Service ##
-- **2020** AAAI, CSF, LAFI, WoLLIC, PLMW
-- **2019** POPL, PLMW, POST, CSF, DARS (co-chair)
+- **2021** ESOP, PLMW@POPL
+- **2020** AAAI, CSF, LAFI, WoLLIC, PLMW@POPL
+- **2019** POPL, PLMW@POPL, POST, CSF, DARS (co-chair)
 - **2018** LICS, WWW
 - **2017** FCS, TPDP, MFPS
 - **2016** PLDI (ERC)