HarrisonGrodin
@HarrisonGrodin@mathstodon.xyz
Joined: 31/10/2022
About HarrisonGrodin
PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory
Lists
{username} has no public lists
Timeline
{username} has no activity yet