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

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

Browse source
This commit is contained in:
Michael Zhang 2024-12-06 17:40:22 -06:00
parent 1bfabbc5be
commit 9c8c3588c1
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]. I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia].
My current research is in cubical type theory and synthetic homotopy theory. My current research is in programming languages and formal methods, specifically cubical type theory and synthetic homotopy theory.
[1]: https://twin-cities.umn.edu/ [1]: https://twin-cities.umn.edu/
[favonia]: https://favonia.org/ [favonia]: https://favonia.org/