Ashish Mishra

Ashish Mishra is an Assistant Professor in the Department of Computer Science & Engineering at the Indian Institute of Technology Hyderabad (IIT Hyderabad), located in Kandi, Sangareddy, Telangana, India.

Education:

• Ph.D. from Indian Institute of Science (IISc), Bengaluru

Research Interests:

His research spans foundational and applied areas in computer science, focusing on:

• Program Verification – ensuring correctness of software systems through formal methods.
• Program Synthesis – automatically generating programs from high-level specifications.
• Programming Languages – design, semantics, and implementation of new language constructs.
• Neurosymbolic Programming – integrating neural networks with symbolic reasoning for smarter program synthesis and verification.

Current Affiliation:

• Room CS-606, Computer Science Building, IIT Hyderabad

Contact: No public email provided; contact form available on institute page.