From 3949f19f1f979786a4ad3d0322dbdfd110af9d9f Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Tue, 9 Jul 2024 16:16:58 -0500 Subject: [PATCH] update short bio --- src/content/partials/shortBio.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/content/partials/shortBio.md b/src/content/partials/shortBio.md index 134ec49..457ed1b 100644 --- a/src/content/partials/shortBio.md +++ b/src/content/partials/shortBio.md @@ -4,8 +4,13 @@ My current research focus for my thesis is cubical type theory and its applicati 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. +In my past life, 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/ [Swoop Search]: https://swoopsrch.com/ [aws]: https://aws.amazon.com/ [sift]: https://www.sift.net/ [favonia]: https://favonia.org/ +[easyctf]: https://www.easyctf.com/ +[pjsk]: https://sekai.team/