I'm a masters computer science student at the [University of Minnesota][1]
advised by [Favonia]. I've previously worked as a software engineer at [Swoop
Search], [AWS] and [SIFT] in the past. My computing-related interests lie in
programming language design and formal verification, systems security,
cryptography, and distributed systems.

[1]: https://twin-cities.umn.edu/
[Swoop Search]: https://swoopsrch.com/
[aws]: https://aws.amazon.com/
[sift]: https://www.sift.net/
[favonia]: https://favonia.org/
