This commit is contained in:
Michael Zhang 2024-04-02 10:05:04 -05:00
parent 4768a49fce
commit 56c95f6051

View file

@ -1,9 +1,10 @@
I'm a masters computer science student at the University of Minnesota advised by I'm a masters computer science student at the [University of Minnesota][1]
[Favonia]. I currently work as a software engineer at [Swoop Search], and I've advised by [Favonia]. I've previously worked as a software engineer at [Swoop
worked at [AWS] and [SIFT] in the past. My computing-related interests lie in Search], [AWS] and [SIFT] in the past. My computing-related interests lie in
programming language design and formal verification, systems security, programming language design and formal verification, systems security,
cryptography, and distributed systems. cryptography, and distributed systems.
[1]: https://twin-cities.umn.edu/
[Swoop Search]: https://swoopsrch.com/ [Swoop Search]: https://swoopsrch.com/
[aws]: https://aws.amazon.com/ [aws]: https://aws.amazon.com/
[sift]: https://www.sift.net/ [sift]: https://www.sift.net/