conf.researchr.org / Ashish Mishra
![Ashish Mishra](https://conf.researchr.org/getProfileImage/ashishmishra1/893e606d-61ff-4d83-afa4-83d6b11592f0/small.jpg?1711474212000)
Registered user since Sat 6 Jun 2020
Name:Ashish Mishra
Country:United States
Affiliation:Purdue University
Personal website: https://aegis-iisc.github.io
Research interests:Programming languages, Program synthesis, Program verification, Type systems
Contributions