Bryce Goldman

he/him

Computer scientist interested in programming languages, formal methods, and category theory.