I work in the areas of Programming Languages (PL) and Formal Methods (FM). My research is driven by the curiousity to apply PL and FM way of thinking to solve hard problems in other domains of Computer Science, such as Distributed Systems, Databases, Security, and Artificial Intelligence. In my current research, I am exploring how secure and scalable distributed applications can be built with least amount of programming effort.
