Sectors Interested to Offer Service:

Major Professional Contributions:

• First to provide a foundation for a compositional specification and verification of a real-time distributed language using realistic parameterised models that formed core for several lead ESPRIT projects. • Another Pioneering work has been the nominees' proposal of Communicating Reactive Processes that was the first to demonstrate the realization of complex verifiable systems through the unification of asynchrony and synchrony; widely used in practice • he has made other seminal contributions in verifying the correctness compilers and built several e-commerce systems. Building first secure Operating System.

Professional Experience:

Founding Dean of School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai