Research interests intersecting areas of computer science including: algorithms and complexity theory, video game programming, procedural content generation, artificial intelligence, computer graphics, neural networks, and parallel computing.

University of Cambridge - Interactive theorem proving and its applications.

University of Texas at Austin - Software engineering, system evolution, large-scale systems.

Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems

University of Pennsylvania. Programming languages, type systems, and distributed programming.

University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.

Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems