Sanjiva Prasad's Home Page
of Computer Science and Engineering
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
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.
- FST TCS 2007 will be held in Delhi on
December 12-14, 2007 with workshops on the days just before and just after. Please plan to attend. V. Arvind and I are programme co-chairs.
- I'm on the POPL 2008 committee. Do consider submitting a paper!
- QIP 2007 is being held
in Delhi on December 17-21, 2007
My Ph.D. student Priti Paul Sinha defended her thesis on November 25 2005.
Her thesis was on Algebraic Nondeterminism and Transition Systems. More details
can be obtained from her
Write to me if you want the thesis (not on line, to avoid plagiarism).
- ABC: An Axiomatic Basis of Communication. Martin Karsten, Srinivasan Keshav , Sanjiva Prasad and M. Beg, Sigcomm 2007. [Network Architectures, Formal Methods (Hoare Logics)]
- ABC: An Axiomatic Basis of Communication. Martin Karsten, Srinivasan Keshav and Sanjiva Prasad, HotNets 2006. [Network Architectures, Operational Semantics]
Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a
Rahul Agarwal, Mahender Bisht, S. N. Maheshwari and Sanjiva Prasad.
ICDCIT 2005, December 2005, Bhubaneswar, India. [Distributed Algorithms]
Verifying Dynamics for Biochemical Systems
R. Shrivaths and Sanjiva Prasad.
ICSB, October 2005, Boston, USA. [Systems Biology]
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]
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]
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.
The Game of the Name
in Cryptographic Tables Roberto Amadio and Sanjiva Prasad,
Research Report 3733, July 1999. Extended
abstract appears in Proceedings of ASIAN'99, Phuket, Thailand,
Springer LNCS volume 1742, pages 15--26, December 1999.
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.
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:
- CSL 302: Programming Languages
Here are my administrative responsibilities in the department:
Here is my teaching burden and
here is a list of students I have supervised.
My academic genealogy
Here is a drawing
by Siddhartha of himself and his lille bro Aditya Hans soon after the latter
of Computer Science and Engineering and
Khosla School of Information Technology, IIT
Delhi (from October 2006)
Associate Professor, Department
of Computer Science and Engineering, IIT
Delhi (January 2000-October 2006)
Assistant Professor, Department
of Computer Science and Engineering, IIT
Delhi (September 1994-January 2000)
Visiting Associate Professor, BRICS,
of Computer Science, University of Aarhus, Denmark (August 1998-May
Researcher, ECRC GmbH , Munich,
Germany (June 1992-August 1994)
Computer Scientist, Odyssey Research
Associates (ORA), Ithaca, NY, USA (October 1990-April 1992)
PhD, Department of
Computer Science, SUNY at Stony Brook , USA, 1991.
MS, Department of
Computer Science, SUNY at Stony Brook , USA, 1990.
B.Tech. (CS), Indian Institute
of Technology (IIT), Kanpur , India, 1985.
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
I was on the programme committee of
- POPL 2008
- SEFM 2006
- FST TCS 2005
- FST TCS 2003
- ASIAN 2003
- FOSSACS 2002
- FST TCS 2001
- Caturang 2001, a conference on the impact of impact
and use of informatics on the liberal arts, in Pune, March 5-6, 2001.
- ASIAN 1999
- FST TCS 1998
- FST TCS 1996
- FST TCS 1995
I helped organize the pre-conference FSTTCS Satellite workshop on
Compiler Techniques and Applications held on December 11, 2007 at IIT
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,
Recent and Upcoming Events
Not fully updated
While I'm not on the programme committees of the following conferences, I would encourage you to submit a paper to them:
- Connecting COmputer Science to Domains, Trivandrum December 17-18, 2007
- FST TCS 2007 in New Delhi. December 11-15 2007.
- POPL PC meeting. Edinburgh. September 26-30.
- Visit to Kyoto for Sigcomm 2007. August 26-31.
- QIP 2007. New Delhi, December 17-21, 2007. (Jaikumar Radhakrishnan, Umesh Vazirani)
- ASIAN 2007. Doha, Qatar.
December 9-11, 2007. (Iliano Cervesato)
- ICDCIT 2007. Bangalore, December 17-20, 2007. (Hrushikesha Mohanty)
- Comsware. Bangalore. January 6-10, 2008 (Rajeev Shorey)
- Compute 2008. Bangalore. January 18-20, 2008. (Kallol Borah)
- ISEC 2008, Hyderabad. Feb 19-22, 2008. (Pankaj Jalote and Sriram Rajamani)
- AINTEC 2007. Asian Internet Engineering Conference. Phuket, Thailand. 27-29 November 2007. (Kanchana Kanchanasut)
- Visit to Singapore: Feb 2007
- FST TCS 2006: December 13 & 15 (CITU determined the dates), 2006 in Kolkata
- Visit to McGill University, June 16-June 24, 2006
- Visit to University of Waterloo, May 27-June 16, 2006
- WINS Goa, April 2006.
- ICDCIT 2005, Bhubaneswar, December 22-24 2005. Attended, presented paper.
- FST TCS 2005, Hyderabad, December 13-18 2005, Attended, PC Member, Session Chair for Natarajan Shankar's Invited Talk.
- VSTTE, ETH Zurich, October 2005. Attended.
- Bangalore, October 2005. Attended.
- Visit to McGill University, Montreal Canada, July 2005.
- Microsoft Faculty Summit, Redmond, July 2005.
- Alan Turing, though born in London, was conceived in Chatrapur, Ganjam district, Orissa. His father Julius was an employee of the Government of Madras Presidency. Idea for an excursion: Bhubaneswar, Konark,
holiday at Gopalpur-on-sea, Chatrapur, Chilika Lake.
- Augustus De Morgan was born in Madurai, Madras
Presidency on June 27 1806 [The year of his
birth may be found by solving a conundrum proposed by himself, "I was
x years of age in the year x2 " (He was 43 in 1849). The problem is
indeterminate, but it is made strictly determinate by the century of
its utterance and the limit to a man's life.]. His father and grandfather were both born in India, and
so Augustus De Morgan used to describe himself as neither English,
nor Scottish, nor Irish, but a Briton "unattached".
I spent 1998-99 at
Centre for Basic Research in Computer Science.
frames and no
DAIMI, Department of Computer Science, University of Aarhus.
Places to Surf
- A few semesters ago (as a mini project under my supervision), Rahul Narain developed ML-dev, an Eclipse plug-in for Standard ML which is used by surprisingly many people in leading universities.
Working with me and Wagish Shukla, Amitabh Trehan wrote a M Tech thesis
on a PanIndic phonetics based code. It is linear,
and Hamming distance between letters correlates strongly with phonetic distance.
It is in stark contrast to ISCII and the solutions based on scripts.
What not to do i.e., the
The Wagging Tail
- 1.July.2007: Naming places after famous people has some unintended consequences. Now every emergency landing at Indira Gandhi International Airport, Delhi becomes a political statement.
- 8.July.2007: (On the Bangalore origins of Kafeel Ahmed,who drove a flaming jeep into Glasgow airport): So now the terrorists are also outsourcing to Bangalore?