blog/layouts/partials/left-nav.md
2023-02-04 01:21:21 -06:00

9 lines
394 B
Markdown

- Matrix: `@michael:mozilla.org`
Hi there! I'm an incoming graduate student at the University of Minnesota. I
currently work as a Software Developer at [AWS][1] (previously at [SIFT][2]). My
computing-related interests lie in programming language design and formal
verification, systems security, cryptography, and distributed systems.
[1]: https://aws.amazon.com/
[2]: https://www.sift.net/