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

Office Address

Room: CS-606, Computer Science Building
Indian Institute of Technology Hyderabad
Kandi-502284, Sangareddy,
Telangana, India

E-mail: Contact me