← All people
Ashish Mishra

Ashish Mishra

Assistant Professor

Ph.D: IISc Bangalore

Personal website →

Research Interests

  • Program Synthesis
  • Automated Program Verification
  • Functional Programming and Type Systems