English | हिंदी
Ashish Mishra

Ashish Mishra

Position: Assistant Professor
Department(s):
  • Computer Science & Engineering
Ph.D: IISc, Bengaluru
Research Interests:
  • Program Verification
  • Program Synthesis
  • Programming Languages
  • Neurosymbolic Programming

E-mail: Contact me