cv

General Information

Full Name Ashish Mishra
Date of Birth Nov 11, 1987
Languages English, Hindi

Education

  • 2018
    PhD
    Indian Institute of Science, Bangalore, India
    • Thesis- Typestates and Beyond, Verifying Rich Behavioral Properties OverComplex Programs.
    • Advisor- Y. N. Srikant
  • 2010
    BTech
    Madan Mohan Malaviya Engineering College, Gorakhpur
    • GPA- 74/100

Experience

  • 2019 - Now
    Postdoctoral Research Associate
    Purdue University
    • Advisor- Suresh Jagannathan
  • 2018 - 2019
    Postdoctoral Research Associate,
    Northeastern University
    • Advisor- Frank Tip

Professional Services

    • AEC+ERC, OOPSLA ’23.
    • Sub-Reviewer POPL ’23, RTAS ’15
    • PC Innovations in Software Engineering Conference, ISEC ’23.
    • Workshop Proceedings Committee, ECOOP/ISSTA ’18 Companion Workshops.
    • Student Volunteer ECOOP ’2017.