From ce5ef4116d5d6c0e2bf1557003403088f2f073b2 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Wed, 18 Sep 2024 01:18:17 -0500 Subject: [PATCH] update bio --- 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 1950901..8db43e8 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 cubical type theory and its applications to formalizing some results in algebraic topology. +My current research topic is in cubical type theory and formalization of the Serre spectral sequence. I also work as a researcher for [SIFT], specializing in compilers and binary analysis. Previously I worked as a software engineer at [Swoop Search] and [AWS].