Update affiliation.

content/about.md

@@ -1,13 +1,18 @@
-I am a postdoc in the [Programming Principles, Logic, and Verification
+I am a postdoc in the [Department of Computer
-Group](http://pplv.cs.ucl.ac.uk/welcome/) at the [University College
+Science](https://www.cs.cornell.edu/) at the [Cornell
-London](https://www.ucl.ac.uk/), hosted by [Alexandra
+University](https://www.cornell.edu/), hosted by [Nate
-Silva](http://www.alexandrasilva.org/).
+Foster](http://www.cs.cornell.edu/~jnfoster/), [Bobby
+Kleinberg](http://www.cs.cornell.edu/~rdk/), and [Dexter
+Kozen](http://www.cs.cornell.edu/~kozen/).
 
 **I will be joining the University of Wisconsin--Madison in Fall 2018 as an
 assistant professor. Looking for good students!**
 
-Previously, I was a graduate student in the [Department of Computer
+Previously, I was a postdoc in the [Programming Principles, Logic, and
-Science](https://cis.upenn.edu) at the [University of
+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), associated with the [Theory
 Group](http://theory.cis.upenn.edu), the [PL
 Club](https://www.cis.upenn.edu/~plclub/), and the [Privacy

content/contacts.md

@@ -1,9 +1,9 @@
 ### Contacts ###
 
-**UCL**  
+**Cornell**  
-Room 3.05  
+Room 442  
-Gower Street 66-72  
+Gates Hall  
-London WC1E 6BT
+Ithaca, New York  
 
 **Email**  
 email@justinh.su