From 772c46f77b2a31e50b699e61ad4f52ac3b7453f2 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Fri, 26 Jul 2024 12:50:35 -0500 Subject: [PATCH] update short bio --- src/content/partials/shortBio.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/content/partials/shortBio.md b/src/content/partials/shortBio.md index 457ed1b..1950901 100644 --- a/src/content/partials/shortBio.md +++ b/src/content/partials/shortBio.md @@ -1,10 +1,9 @@ I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia]. -My current research focus for my thesis is cubical type theory and its applications to formalizing mathematical proofs. +My current research is cubical type theory and its applications to formalizing some results in algebraic topology. -I also work as a researcher for [SIFT]. Previously I worked as a software engineer at [Swoop Search] and [AWS]. -My computing-related interests lie in programming language design, type theory, formal verification, systems security, cryptography, and distributed systems. +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]. -In my past life, I was a CTF hobbyist. I created [EasyCTF], a cybersecurity competition for high schoolers. +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]. [1]: https://twin-cities.umn.edu/