Sanjiva Prasad's Home Page 

Sanjiva Prasad
Department of Computer Science and Engineering
Indian Institute of Technology Delhi
Hauz Khas, New Delhi 110016 INDIA

Office: IIA-413 (Bharti Building third floor)
E-mail: s a n j i v a "at" c s e "dot" i i t d "dot" a c "dot" i n
PHONE : (+91 11) 2659 1294 (Office)
PHONE : (+91 11) 2651 5652 (Res)
PHONE : (+91 11) 2659 1684 (Res)
FAX   : (+91 11) 2658 1060

Research Interests

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. 


Recent Publications

  1. ABC: An Axiomatic Basis of Communication. Martin Karsten, Srinivasan Keshav , Sanjiva Prasad and M. Beg, Sigcomm 2007. [Network Architectures, Formal Methods (Hoare Logics)]
  2. ABC: An Axiomatic Basis of Communication. Martin Karsten, Srinivasan Keshav and Sanjiva Prasad, HotNets 2006. [Network Architectures, Operational Semantics]
  3. Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting. Rahul Agarwal, Mahender Bisht, S. N. Maheshwari and Sanjiva Prasad.  ICDCIT 2005, December 2005, Bhubaneswar, India. [Distributed Algorithms]
  4. Verifying Dynamics for Biochemical Systems R. Shrivaths and Sanjiva Prasad.  ICSB, October 2005, Boston, USA. [Systems Biology]
  5. Effective Chemistry for Synchrony and Asynchrony Deepak Garg, Akash Lal and Sanjiva Prasad.  IFIP WCC-TCS 2004, August 2004, Toulouse, France. [Concurrency, Process Calculi, Operational Semantics]
  6. An Introduction to Operational Semantics  Sanjiva Prasad and S. Arun-Kumar.  In Y. N. Srikant and P. Shankar (eds), Compiler Design Handbook: Optimizations and Machine Code, CRC Press, Boca Raton, 2002. [Operational Semantics]
  7. Reflecting BDDs in Coq  Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad and S. Arun-Kumar.  Extended abstract appears in Proceedings of ASIAN'00,  Penang, Malaysia, Springer LNCS volume 1961, pages 162-181, November 2000. [Verification]
  8.  The Game of the Name in Cryptographic Tables  Roberto Amadio and Sanjiva Prasad, INRIA Research Report 3733, July 1999.  Extended abstract appears in Proceedings of ASIAN'99,  Phuket, Thailand, Springer LNCS volume 1742, pages 15--26, December 1999. [Process Calculi,Security,Verification]
  9.  Modelling IP Mobility  Roberto Amadio and Sanjiva Prasad, INRIA Research Report 3301, 1997.  Extended abstract appears in Proceedings of CONCUR'98,  Nice, France, Springer LNCS volume 1466, pages 301--316, September 1998. Revised version appears in Journal of Formal Methods in System Design, volume 17(1), August 2000. [Process Calculi,Networks,Verification]

Teaching and Administration

The courses I am currently teaching (Fall [Diwali] 2007): The courses I just taught (Spring [Holi] 2007): In the previous semester (Fall 2006) I taught:

Here are my administrative responsibilities in the department:

Not updated!   Here is my  teaching burden  and here is a list of students I have supervised.

Personal Stuff

My academic genealogy

Here is a drawing by Siddhartha of himself and his lille bro Aditya Hans soon after the latter was born



Professional Stuff

I am on the FST TCS 2008 programme committee.

I am on the SEFM 2008 programme committee.

I am a lazy member of the IARCS council.

Previously, I was programme co-chair of FST TCS 2007 held in New Delhi, December 11-15, 2007 and FST TCS 2000 held in New Delhi December 12-16, 2000. These are, respectively, the 27th and the 20th Annual Conference on Foundations of Software Technology and Theoretical Computer Science.

I was on the programme committee of

I helped organize the pre-conference FSTTCS Satellite workshop on Compiler Techniques and Applications held on December 11, 2007 at IIT Delhi.

With Neelima Gupta, I helped organize the post-conference FSTTCS Satellite workshop on BioInformatics and Systems Biology held on December 15, 2007 at IIT Delhi.

I also helped organize a pre-conference workshop on Recent Advances in Programming Languages on
December 11-12, 2000 at IIT Delhi, and with R Ramanujam  co-organized Mobile99 at Chennai: Workshop on Foundations of Mobile Computing, December 16-17, 1999 Recent and Upcoming Events Not fully updated

Bygone Events

  1. Connecting COmputer Science to Domains, Trivandrum December 17-18, 2007
  2. FST TCS 2007 in New Delhi. December 11-15 2007.
  3. POPL PC meeting. Edinburgh. September 26-30.
  4. Visit to Kyoto for Sigcomm 2007. August 26-31.
  • While I'm not on the programme committees of the following conferences, I would encourage you to submit a paper to them:
  • Recent Past

    1. Visit to Singapore: Feb 2007
    2. FST TCS 2006: December 13 & 15 (CITU determined the dates), 2006 in Kolkata
    3. Visit to McGill University, June 16-June 24, 2006
    4. Visit to University of Waterloo, May 27-June 16, 2006
    5. WINS Goa, April 2006.
    6. ICDCIT 2005, Bhubaneswar, December 22-24 2005. Attended, presented paper.
    7. FST TCS 2005, Hyderabad, December 13-18 2005, Attended, PC Member, Session Chair for Natarajan Shankar's Invited Talk.
    8. VSTTE, ETH Zurich, October 2005. Attended.
    9. Bangalore, October 2005. Attended.
    10. Visit to McGill University, Montreal Canada, July 2005.
    11. Microsoft Faculty Summit, Redmond, July 2005.


    I spent 1998-99 at

    [BRICS logo]
    Centre for Basic Research in Computer Science.

    [DAIMI logo]With frames and no frames.
    DAIMI, Department of Computer Science, University of Aarhus.

    Places to Surf

    Serious Concerns

    IT Stuff

    The Wagging Tail