Runming
@runmingl@mathstodon.xyz
Joined: 11/02/2024
About Runming
PhD student at CMU PoP group, studying type theory and programming languages.
Lists
runmingl has no public lists
Timeline
runmingl has no activity yet
@runmingl@mathstodon.xyz
Joined: 11/02/2024
PhD student at CMU PoP group, studying type theory and programming languages.
runmingl has no public lists
runmingl has no activity yet