Ashish Mishra

Ashish Mishra

Home || Research || Publications || Contact || [CV] pdf
I am a PhD student, working under Prof Y.N. Srikant at Dept. of Computer Sceince and Automation, IISc. My research interests include programming langauges, program analysis, type systems, etc. Broadly I am interested in using language semantics, type systems and program analysis to reason about safety properties of programs. My PhD work involves verifying rich safety properties over complex programs, it is a sweet mix of programming language theory and implementation.

Publications Teaching and Professional Experience

    At IISc

  • Fall ’16 TA for the graduate Course on Programming Language Design and Implementation, Indian Institute of Science.

  • 2012–2014 Student System Administrator, Department of Computer Science and Automation, Indian Institute of Science, Bangalore.

  • Before

  • 2010–2011 Project Engineer, Center for Development of Advanced Computing (CDAC), Mumbai.
Important Links related to me
Contact me @
  • Compiler Lab,Room No.320
    Computer Science and Automation Department
    Indian Institute of Sceince,Bangalore
  • email@

Last modified: 27 June 2017