Research

My ongoing research projects are listed at the end of this page.

Research Areas

Session Types

Interactive Theorem Proving

Parallel Programming Frameworks

Ongoing Research Projects