Michael Zhang

Matrix Git GitHub Mastodon Keybase LinkedIn

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

Posts tagged with web

Oct 30, 2022	Decentralized Identity, a Middle Ground
Feb 1, 2019	Magic forms with proc macros: Ideas
May 28, 2018	Web apps

Blog code licensed under GPL-3.0. Post contents licensed under CC BY-SA 4.0.
Written by Michael Zhang. Source.