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

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

Browse source
This commit is contained in:
Michael Zhang 2024-06-21 01:09:32 -05:00
parent 63d837b264
commit 4fb464325c
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

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