From 5635d03e08906a4508e6fc035b698af3701d8273 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Fri, 21 Jun 2024 15:57:44 -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 ef90d29..134ec49 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 focus for my thesis is cubical type theory and its applications to formalizing mathematical proofs. -I've previously worked as a software engineer at [Swoop Search], [AWS] and [SIFT] in the past. +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. [1]: https://twin-cities.umn.edu/