diff --git a/index.org b/index.org index 05b4592..019e5ab 100644 --- a/index.org +++ b/index.org @@ -6,7 +6,7 @@ I am currently a fourth-year CS PhD student at University of Pennsylvania, advised by [[https://www.seas.upenn.edu/~sweirich/][Prof. Stephanie Weirich]]. I got my MS degree from University of Maryland, advised -by [[https://www.cs.umd.edu/~mwh/][Prof. Michael Hicks]]. +by [[https://mhicks.me/][Prof. Michael Hicks]]. My current research is about integrating dependently typed programming languages and graded type systems. I investigate how