From 4fb464325ced0f47e03e5b5251fe62f658ff8b0d Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Fri, 21 Jun 2024 01:09:32 -0500 Subject: [PATCH] update th'bio --- src/content/partials/shortBio.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/content/partials/shortBio.md b/src/content/partials/shortBio.md index c7fd496..ef90d29 100644 --- a/src/content/partials/shortBio.md +++ b/src/content/partials/shortBio.md @@ -1,8 +1,8 @@ -I'm a computer science master's student at the [University of Minnesota][1], -advised by [Favonia]. I've previously worked as a software engineer at [Swoop -Search], [AWS] and [SIFT] in the past. My computing-related interests lie in -programming language design and formal verification, systems security, -cryptography, and distributed systems. +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. +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/ [Swoop Search]: https://swoopsrch.com/