Registered user since Wed 3 Aug 2016

Name: Rohan Bavishi

Bio: A final-year undergraduate in Computer Science at IIT Kanpur

Country: India

Affiliation: IIT Kanpur, India

Personal website: http://home.iitk.ac.in/~rbavishi

Research interests: Automated Program Repair and Synthesis, Decision Procedures, Compilers

Contributions