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

work status

Browse source
This commit is contained in:
Michael Zhang 2022-06-17 18:59:47 -05:00
parent e70343da96
commit 15181bb53d
1 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
content/_index.md
View file

@ -2,12 +2,13 @@
layout = "home" layout = "home"
+++ +++
Hi there! I'm a recent graduate from the University of Minnesota, currently Hi there! I'm an incoming graduate student at the University of Minnesota. I
working as an associate researcher at [SIFT]. My computing-related interests lie currently work as a Software Developer at [AWS][1] (previously at [SIFT][2]). My
in programming language design and analysis, systems security, cryptography, and computing-related interests lie in programming language design and formal
distributed systems. verification, systems security, cryptography, and distributed systems.
[SIFT]: https://www.sift.net/ [1]: https://aws.amazon.com/
[2]: https://www.sift.net/
## Contact ## Contact