From b483efe291f1514339eb96b62c231218b7ebac9c Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Sun, 5 Jan 2025 19:15:38 -0500 Subject: [PATCH] Add Mike's new page --- index.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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