Academic Identity
-
Orcid Id 0000-0002-0513-3107 -
Scopus Id 57327859000 -
Researcher Id FRP-2632-2022 -
Google Scholar Id HiK5JeYAAAAJ
Profile Links
-
Dr Ashish Mishra
- Assistant Professor (Grade-I)
- Indian Institute of Technology, Hyderabad
Publications 2016 - 2023
Publications
-
4
Journal Articles
-
3
Conference
Proceedings -
1
Dissertation-thesis
-
1
Other
-
2
-
1
-
1
Citations / H-Index
11
Citations
2
h-index
3
Citations
Google Scholar
Expertise
Computer Science Artificial Intelligence
Research Interests Program Synthesis: Scalable Synthesis; Deductive Reasoning; Synthesis+Program Repair; Synthesis in novel domains; Neural+Symbolic (NeuroSymbolic) Synthesis. Automated Program Verification: Higher-Order+Effects; Under-approximate Reasoning; Incorrectness Logics; Hybrid Program Analysis for JS; Static Analysis for Asynchronous Programs. Functional Programming: Dependent Types, DSLs.
Personal Information
Dr Ashish Mishra
Male
Department of Computer Science and Engineering Indian Institute of Technology Hyderabad
Sangareddi, Telangana, India - 502284
Experience
-
Assistant Professor (Grade-I)
Department of Computer Science and Engineering
Indian Institute of Technology, Hyderabad
