Ashish Mishra
Affiliations. Assistant Professor of Computer Science@IITH.

Office: CS-606, Dept. of Computer Science,
IIT Hyderabad, Kandi
Telangana 502284
lnfn@cse.iith.ac.in
About
Starting March 2024, I am an Assistant Professor of Computer Science at IIT Hyderabad. Before, I was a Postdoc at PurPL, Purdue, working with wonderful Suresh Jagannathan. I also worked for an year on Program Analysis for JS with Frank Tip. I did my PhD at IISc, working with Y. N. Srikant.
My background is in Formal Methods and Programming Languages. My research views programming languages as having a central place in solving computing problems. I am interested in developing automated program synthesis techniques and tools (Cobalt); designing richer type systems (Poirot), and domain specific programming languages (Morpheus) and building program analysis and verification tools and techniques(Stubbifier).
Research Interests
- Program Synthesis:
- Scalable Synthesis;
- Program Repair;
- NeuroSymbolic Synthesis.
- Automated Program Verification:
- Effects and Higher-Order programs;
- Under-approximate Reasoning; Incorrectness Logics;
- Program Analysis
- Functional Programming:
- Refinement Types, DSLs.
- Types inference.
Services
PC Member : ATVA ‘25, SAS ‘25, ECCOP ‘25, ISEC 25.
Artifact Evaluation : PLDI ‘25, OOPSLA ‘25.
I am always on the lookout for PhD/M.Tech/B.Tech students to work with me. Please drop me an email if you find the work interesting.
news
May 25, 2025 | Four new undergrad interns joined SymPL for the summers,
|
---|---|
Jul 1, 2024 | We set up our new SymPL (Simple) lab with first three students, Vyshnavi, Varsha and Rajarshi joining as PhD and MTech RA students. |
Mar 1, 2024 | Joined IITH, CSE Department as an Assistant Professor. |