Joseph Chan
@jchanke@mathstodon.xyz
Joined: 05/17/2025
About Joseph Chan
Here to learn! Junior at CMU, interested in automated reasoning, formal methods + complexity theory!
Lists
jchanke has no public lists
Timeline
jchanke has no activity yet
@jchanke@mathstodon.xyz
Joined: 05/17/2025
Here to learn! Junior at CMU, interested in automated reasoning, formal methods + complexity theory!
jchanke has no public lists
jchanke has no activity yet