2020-11-03 22:14:45 +00:00
|
|
|
+++
|
2022-02-07 22:41:38 +00:00
|
|
|
title = "About"
|
2020-11-03 23:17:20 +00:00
|
|
|
weight = 2
|
2020-11-03 22:26:36 +00:00
|
|
|
|
2021-06-18 03:33:51 +00:00
|
|
|
[cascade]
|
2020-11-03 22:26:36 +00:00
|
|
|
type = "generic"
|
|
|
|
|
layout = "single"
|
2020-11-03 22:14:45 +00:00
|
|
|
+++
|
|
|
|
|
|
2022-09-26 17:58:51 +00:00
|
|
|
# About Me
|
2020-11-03 22:14:45 +00:00
|
|
|
|
2022-09-26 17:58:51 +00:00
|
|
|
Hi there! I'm a first-year master's student at the University of Minnesota. I
|
|
|
|
|
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 -->
|
|
|
|
|
|
|
|
|
|
### Research
|
|
|
|
|
|
|
|
|
|
Currently, I'm learning about [cubical type theory][cubical]. I'll probably
|
|
|
|
|
write some blog posts as I learn more. My advisor is [Favonia].
|
|
|
|
|
|
|
|
|
|
### University Involvement
|
|
|
|
|
|
|
|
|
|
- **[GopherHack]**. I'm an officer at the GopherHack organization, hoping to
|
|
|
|
|
grow a CTF community at the University.
|
|
|
|
|
- **[PL Seminar]**. A group focused on reading and discussing
|
|
|
|
|
programming-language-related papers
|
|
|
|
|
|
|
|
|
|
### Open-source Projects
|
|
|
|
|
|
|
|
|
|
Some of the projects I've been working on in my free time include:
|
|
|
|
|
|
|
|
|
|
- **[Leanshot]**. A Linux screen capture tool.
|
|
|
|
|
- **[Garbage]**. A CLI interface to the trash can API.
|
2020-11-03 22:14:45 +00:00
|
|
|
|
2021-11-01 03:36:32 +00:00
|
|
|
More can be found on [this page][12] or my public [Gitea][2].
|
2021-06-30 06:41:11 +00:00
|
|
|
|
2022-09-26 17:58:51 +00:00
|
|
|
I've also started making an increased effort at using and supporting [FOSS],
|
2022-01-25 00:35:39 +00:00
|
|
|
and other software that're not predatory towards users. As a part of this
|
|
|
|
|
effort, I'm also self-hosting and rewriting some of the services and software
|
|
|
|
|
that I use regularly. Find out what I'm using [here][9].
|
2021-06-30 06:41:11 +00:00
|
|
|
|
2022-09-26 17:58:51 +00:00
|
|
|
### Hobbies
|
|
|
|
|
|
2022-01-25 00:35:39 +00:00
|
|
|
I'm also an avid rhythm game player and beatmap creator, mostly involved with
|
2022-09-26 17:58:51 +00:00
|
|
|
the free-to-play game [osu!]. Check out some of my beatmaps on my osu!
|
|
|
|
|
[userpage].
|
|
|
|
|
|
|
|
|
|
I also enjoy playing badminton 🏸 at the rec.
|
2020-11-03 22:14:45 +00:00
|
|
|
|
|
|
|
|
[2]: https://git.mzhang.io/explore
|
2021-06-30 06:41:11 +00:00
|
|
|
[9]: setup
|
|
|
|
|
[10]: pgp.txt
|
2021-11-01 03:36:32 +00:00
|
|
|
[12]: ../projects
|
2022-09-26 17:58:51 +00:00
|
|
|
[aws]: https://aws.amazon.com/
|
|
|
|
|
[cubical]: https://ncatlab.org/nlab/show/cubical+type+theory
|
|
|
|
|
[favonia]: https://favonia.org/
|
|
|
|
|
[foss]: https://en.wikipedia.org/wiki/Free_and_open-source_software
|
|
|
|
|
[garbage]: https://git.sr.ht/~mzhang/garbage
|
|
|
|
|
[gopherhack]: https://gopherhack.com
|
|
|
|
|
[leanshot]: https://git.sr.ht/~mzhang/leanshot
|
|
|
|
|
[osu!]: https://osu.ppy.sh
|
|
|
|
|
[pl seminar]: https://umn-plseminar.github.io
|
|
|
|
|
[sift]: https://www.sift.net/
|
|
|
|
|
[userpage]: https://osu.ppy.sh/u/2688103
|
