Rudrapatna Kallikote Shyamausndar

JC Bose National Fellow and Distinguished V. Professor, IIT Bombay


Areas of Interest:

Computer Science and IT.

Specialization:

Formal Methods, Parallel and Concurrent programming, Cyber Security and Privacy, High Performance Computing

Consultancy Areas:

Cyber Security, High Performance Computing, Formal Methods.

 

Sector Associated With:

Academia

Sectors Interested to Offer Service:

Educational / Academic institutions, Industry (Private), Industry (PSUs), R&D Organizations, Government (including funding agencies), Entrepreneurs, Venture Capitalists, Consultancy Firms

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
  • Associate Professor, Pennsylvania State University
  • Visiting Professor at UCSD, La Jolla, CA, and UIUC, Urbana, Visiting Scientist, JAIST, Japan, IRISA/INRIA/ENSMP, France
  • Manager, Software Engineering and Programming Languages, IBM India Research Labs.
  • Distinguished Visiting Fellow, UK Royal Academy of Engineering at University Cambridge and University of London.

Keywords:

Secure Operating Systems, Compliance of Security and Privacy Policies, New Generation Programming Languages, .

 

Contact Information

Office

Professor R.K. Shyamasundar, FIEEE, FACM
JC Bose National Fellow and Distinguished V. Professor
Department of Computer Science and Engineering
Indian Institute of Technology Bombay, Powai
Mumbai 400 076, India
022 2576 7904
022 2572 3480 (fax)
This email address is being protected from spambots. You need JavaScript enabled to view it.
9818320188

Email: This email address is being protected from spambots. You need JavaScript enabled to view it.

 

Education

  • B.E. (Electrical Engg) -- Mysore University)
  • M.E. Indian Institute of Science, Bangalore
  • Ph.D. Indian Institute of Science Bangalore
  • Post Doctoral fellowship with Professor Dr. Edsgar W. Dijkstra

 

Awards and Major Professional Recognitions

  • INAE SN Mitra Award for excellence in Engineering Research, 2014
  • Fellow ACM, Fellow IEEE
  • IEEE Standard Member for Esterel
  • JC Bose National Fellow
  • Fellow of Indian Academy of Sciences, INSA, INAE, NASI and TWAS

Link to Website


INAE Section Affiliated II: Computer Engineering and Information Technology


Year of Election to Fellowship: 1999


Year of Birth: 1950