I am interested in the design and implementation of programming languages for mobile distributed computing. This includes an interest in process calculi for mobility, security protocols, type systems and functional programming. I also am interested in verification of programs, protocols and systems. I have just gotten interested in systems biology. I occasionally dabble in very elementary proof theory.

Telephone: (+91 11) 2659 1294
Fax: (+91 11) 2658 1060
Website: http://www.cse.iitd.ernet.in/~sanjiva