From 4f340167b8494d4d2e82401b5bdeb75fbbdff2b8 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 14 Nov 2017 16:24:33 +0000 Subject: [PATCH] Fix some http links. --- content/about.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/content/about.md b/content/about.md index efa156e..0e414eb 100644 --- a/content/about.md +++ b/content/about.md @@ -1,14 +1,14 @@ I am a postdoc in the [Programming Principles, Logic, and Verification -Group](https://pplv.cs.ucl.ac.uk/welcome/) at the [University College +Group](http://pplv.cs.ucl.ac.uk/welcome/) at the [University College London](https://www.ucl.ac.uk/), hosted by [Alexandra -Silva](https://www.alexandrasilva.org/). +Silva](http://www.alexandrasilva.org/). Previously, 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](https://theory.cis.upenn.edu), the [PL +Group](http://theory.cis.upenn.edu), the [PL Club](https://www.cis.upenn.edu/~plclub/), and the [Privacy -Group](https://privacy.cis.upenn.edu). I was very fortunate to be co-advised by +Group](http://privacy.cis.upenn.edu). I was very fortunate to be co-advised by [Benjamin Pierce](https://cis.upenn.edu/~bcpierce) and [Aaron Roth](https://cis.upenn.edu/~aaroth).