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

9 lines
404 B
Markdown

Hi there! I'm a masters student at the University of Minnesota advised by
[Favonia][3]. I also 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/
[3]: https://favonia.org/