About patelaaryan

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

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet