Current Research

I am currently working with Prof. Sayan Mitra on developing methods and tools for verification of liveness properties of networks. Some of the tools I am working with are :

  • Z3, a high performance theorem prover

  • Passel,a software tool for analyzing networked hybrid models with arbitrarily many components

Current Courses

  • Advanced Distributed Systems

  • Topics in Software Engineering

Some past Courses

  • Program Verification

  • Design and Implementation of Programming languages

  • Real World Verification

  • Applications of Game theory in Computer Science

  • Verification Theory