From 2f4c87ea1dfff22d29815fbc5d8217c2012175f6 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Wed, 18 Sep 2024 06:32:18 -0500 Subject: [PATCH] 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 8db43e8..128c3b4 100644 --- a/src/content/partials/shortBio.md +++ b/src/content/partials/shortBio.md @@ -1,7 +1,7 @@ I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia]. 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]. +I've also worked as a researcher for [SIFT], specializing in compilers and binary analysis. Previously I worked as a software engineer at [Swoop Search] and [AWS]. Before that, I was a CTF hobbyist. I created [EasyCTF], a cybersecurity competition for high schoolers. I also briefly played with the CTF team [Project Sekai][pjsk].