About Joseph Chan

Here to learn! Junior at CMU, interested in automated reasoning, formal methods + complexity theory!

Lists

Timeline

jchanke has no activity yet