About Pratap Singh

PhD student at CMU CSD, prev RA at MIT, undergrad at Harvard. Interested in security, formal verification, PL. he/him/his

Lists

Timeline

pratap has no activity yet