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

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

Browse source
This commit is contained in:
Michael Zhang 2024-06-21 15:57:44 -05:00
parent 4fb464325c
commit 5635d03e08
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,7 +1,7 @@
I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia]. 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 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. 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/ [1]: https://twin-cities.umn.edu/