michael/blog
1
0
Fork 0
Code Issues 1 Pull requests Releases Packages Wiki Activity

update short bio
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details

Browse source
This commit is contained in:
Michael Zhang 2024-07-26 12:50:35 -05:00
parent 69c17a7a7a
commit 772c46f77b
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/content/partials/shortBio.md
View file

@ -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/