About patelaaryan

PhD Student at University of Wisconsin-Madison | Interested in Programming languages, formal verification | Penn State Alum | Hobbies: Gym, Running, Reading

Lists

Timeline

patelaaryan has no activity yet