My current research interests involve Specification and formal verification of distributed and sequential systems, Distributed computing, Generic programming, Semantics of programming languages and Logic. I am currently working with Athena (a proof checking system that allows for human readable as well as machine checkable proofs) ,the actor model of computation and concepts in C++.

Here are the slides of a talk I gave at the graduate student seminar : Analog Computation