So you want to know where i studied...

Ph.D. University of Illinois, Urbana-Champaign September 1988
M. S. Rensselaer Polytechnic Institute, Troy June 1984
B.Tech. Indian Institute of Technology, Madras June 1982

Ph.D. Thesis Title:

Proofs and Computations in Conditional Equational Theories

... and my career details follow.

Aug 1991 -- present Department of Computer Science and Engineering IIT Bombay Professor (since Oct 1998)
Sep. 1988 -- Aug 1991 Computer Science Department University of Delaware Assistant Professor

Go back to Siva's Home Page or CSE Dept, IIT Bombay