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

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

Browse source
This commit is contained in:
Michael Zhang 2024-09-18 01:18:17 -05:00
parent aeef05a47f
commit ce5ef4116d
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,5 +1,5 @@
I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia].
My current research is cubical type theory and its applications to formalizing some results in algebraic topology.
My current research topic is in cubical type theory and formalization of the Serre spectral sequence.
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].