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

Update work status

Browse source
This commit is contained in:
Michael Zhang 2023-03-14 03:35:23 -05:00
parent be60e791da
commit 5e3f3a25c4
Signed by: michael
GPG key ID: BDA47A31A3C8EE6B
3 changed files with 9 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
content/about/_index.md
View file

@ -9,11 +9,7 @@ layout = "single"
# About Me # About Me
Hi there! I'm a first-year master's student at the University of Minnesota. I {{< left-nav >}}
also currently work as a Software Developer at [AWS] (previously at [SIFT]).
My computing-related interests lie in programming language design and formal
verification, systems security, cryptography, and distributed
systems.
<!-- more --> <!-- more -->
@ -63,7 +59,6 @@ I also enjoy playing badminton &#x1F3F8; at the rec.
[9]: setup [9]: setup
[10]: pgp.txt [10]: pgp.txt
[12]: ../projects [12]: ../projects
[aws]: https://aws.amazon.com
[cubical]: https://ncatlab.org/nlab/show/cubical+type+theory [cubical]: https://ncatlab.org/nlab/show/cubical+type+theory
[favonia]: https://favonia.org [favonia]: https://favonia.org
[foss]: https://en.wikipedia.org/wiki/Free_and_open-source_software [foss]: https://en.wikipedia.org/wiki/Free_and_open-source_software
@ -72,7 +67,6 @@ I also enjoy playing badminton &#x1F3F8; at the rec.
[leanshot]: https://git.sr.ht/~mzhang/leanshot [leanshot]: https://git.sr.ht/~mzhang/leanshot
[osu!]: https://osu.ppy.sh [osu!]: https://osu.ppy.sh
[pl seminar]: https://umn-plseminar.github.io [pl seminar]: https://umn-plseminar.github.io
[sift]: https://www.sift.net
[userpage]: https://osu.ppy.sh/u/2688103 [userpage]: https://osu.ppy.sh/u/2688103
[wisesplit]: https://wisesplit.org [wisesplit]: https://wisesplit.org
[acm]: https://acm.umn.edu [acm]: https://acm.umn.edu

15
layouts/partials/left-nav.md
View file

@ -1,9 +1,8 @@
Hi there! I'm a masters student at the University of Minnesota advised by I'm a masters student at the University of Minnesota advised by [Favonia]. I
[Favonia][3]. I also currently work as a Software Developer at [AWS][1] previously worked as a Software Developer at [AWS] and [SIFT]. My
(previously at [SIFT][2]). My computing-related interests lie in programming computing-related interests lie in programming language design and formal
language design and formal verification, systems security, cryptography, and verification, systems security, cryptography, and distributed systems.
distributed systems.
[1]: https://aws.amazon.com/ [aws]: https://aws.amazon.com/
[2]: https://www.sift.net/ [sift]: https://www.sift.net/
[3]: https://favonia.org/ [favonia]: https://favonia.org/

1
layouts/shortcodes/left-nav.html Normal file
View file

@ -0,0 +1 @@
{{ os.ReadFile "/layouts/partials/left-nav.md" | markdownify }}