Add new contact info.

content/about.md

@@ -1,12 +1,16 @@
-I am a final-year graduate student in the [Department of Computer
+I am a postdoc in 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/).
+
+Previously, I was a graduate student in the [Department of Computer
 Science](http://cis.upenn.edu) at the [University of
-Pennsylvania](http://www.upenn.edu), where I am associated with the [Theory
-Group](http://theory.cis.upenn.edu), the [PL
+Pennsylvania](http://www.upenn.edu), associated with the [Theory
+Group](http://theory.cis.upenn.edu), [PL
 Club](http://www.cis.upenn.edu/~plclub/), and the [Privacy
-Group](http://privacy.cis.upenn.edu).  I am very fortunate to be co-advised by
+Group](http://privacy.cis.upenn.edu). I was very fortunate to be co-advised by
 [Benjamin Pierce](http://cis.upenn.edu/~bcpierce) and [Aaron
-Roth](http://cis.upenn.edu/~aaroth). I am partially supported by a Simons
-Graduate Fellowship in Theoretical Computer Science.
+Roth](http://cis.upenn.edu/~aaroth).
 
 ## Research Interests ##
 My research spans two classical areas of computer science: **algorithms** from