From 9c8c3588c1d0ef3d7683b709de1c48602124700a Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Fri, 6 Dec 2024 17:40:22 -0600 Subject: [PATCH] update shortBio --- src/content/partials/shortBio.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/content/partials/shortBio.md b/src/content/partials/shortBio.md index 36a9b86..6b4cfb7 100644 --- a/src/content/partials/shortBio.md +++ b/src/content/partials/shortBio.md @@ -1,5 +1,5 @@ I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia]. -My current research is in cubical type theory and synthetic homotopy theory. +My current research is in programming languages and formal methods, specifically cubical type theory and synthetic homotopy theory. [1]: https://twin-cities.umn.edu/ [favonia]: https://favonia.org/