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 nixos

Apr 20, 2023	Developing on projects without flake.nix on NixOS
May 9, 2022	Installing NixOS on ZFS with encryption
Mar 3, 2022	Clangd in Nix

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