About Michael
CS master's student at the University of Minnesota and FOSS software hobbyist. I study homotopy type theory, univalent foundations, compilers, and programming languages. Previously software dev at Amazon Web Services.
Lists
mzhang has no public lists
Timeline
mzhang has no activity yet