Vidwan-ID : 538574

Edit Profile

Academic Identity

Profile Links

    Score criteria

Criteria Point
Personal Details 1
Expertise Details 1
Experience Details 1
Qualification Details 1
Employee ID 0.2
Orcid ID 0.2
Researcher ID 0.2
Scopus ID 0.2
Google Scholar ID 0.2
Honours <=3< /td> 0.3
Honours >3 0.5
Project worth less than Rs.5,00,000/- 0.2
Project worth more than Rs.5,00,000/- 0.5
Membership in professional Bodies < 5 0.5
Membership in professional bodies >=5 1
No of publications <=15 1
No of publications between 15-45 2
No of publications >45 3

Vidwan Score 5

50% Complete
4 Articles

Dr Ashish Mishra

 Assistant Professor (Grade-I)
Indian Institute of Technology, Hyderabad

Publications

  • 4
    Journal Articles
  • 3
    Conference
    Proceedings
  • 2
  • 1
  • 1

Citations / H-Index

11 Citations
2 h-index
3 Citations

Google Scholar

Co-author Network

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

1987 Male
Department Of Computer Science And Engineering Indian Institute Of Technology Hyderabad
Sangareddi, Telangana, India - 502284

Experience in Months

Academic: 10 Administrative: 0 Industry: 0

Experience

  • Assistant Professor (Grade-I)

    Department of Computer Science and Engineering

    Indian Institute of Technology, Hyderabad, Hyderabad

Publications (9)

Contact Us

  • The Director
    Information and Library Network Centre,
    Infocity,Gandhinagar
    Gujarat - 382007
  • Shri Yatrik Patel
  • Scientist-E (CS)
  • Shri Abhishek Kumar
  • Scientist-E (CS)