Ashish Mishra
Position: Assistant Professor
Department(s):
- Computer Science & Engineering
Ph.D: IISc, Bengaluru
Research Interests:
- Program Verification
- Program Synthesis
- Programming Languages
- Neurosymbolic Programming
Office Address:
Room: CS-606,
Computer Science Building
Indian Institute of Technology Hyderabad
Kandi-502284, Sangareddy
Telangana, India
E-mail:
Contact me