diff --git a/content/about.md b/content/about.md index d69d2ce..2d1ae96 100644 --- a/content/about.md +++ b/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 diff --git a/content/contacts.md b/content/contacts.md index 60f68e7..776af21 100644 --- a/content/contacts.md +++ b/content/contacts.md @@ -1,8 +1,9 @@ ### Contacts ### -**UPenn** -GRW 561 -Levine Hall +**UCL** +Room 3.05 +Gower Street 66-72 +London WC1E 6BT **Email** email@justinh.su