R.K. Shyamasundar | Research & Reviews | Tata Institute

ISSN: 2229-371X

R.K. Shyamasundar

R.K. Shyamasundar

R.K. Shyamasundar
Tata Institute of Fundamental Research
India

 
 

Biography

Prof. R.K. Shyamasundar is with the Tata Institute of Fundamental Research, Mumbai where he is currently a Senior Professor and JC Bose National Fellow. He was the Founder Dean of the School of Technology and Computer Science. He took his B.E. (Electrical Engineering.) from University of Mysore, M.E. ( Electrical Engineering) from Indian Institute of Science, Bangalore, and Ph.D.(Computer Science and Automation), from Indian Institute of Science, Bangalore. His principle areas of research are: Specification, Design and Verification of reactive and real-time systems, Programming Languages, Logics of programs, Formal methods, Computer and Network & Information Security. He has published widely and has more than 200 publications in refereed journals, conference proceedings, two monograph, several edited books, and holds several patents in US and India. He has given several invited talks at various conferences and has guided more than 35 Ph.D. students who are occupying leading positions in academia and industry. He is a Fellow IEEE , Fellow ACM and serves on IEEE Esterel Std Committee. He is a Fellow of the Indian Academy of Sciences, Fellow of the Indian National Science Academy, Fellow of the National Academy of Sciences, India, Fellow of the Indian National Academy of Engineering and Fellow of TWAS (Academy of Sciences for the Developing World, Trieste.)

 

Research Interest

Real-Time and Reactive Programming; Real-Time Programming: Langauges, Specification and Verification;Logic Programming;Pi-Calculus and Mobile Computing;Parallel Programs and Scheduling Programming Languages: Semantics, Design, and Tools Systems for E-Commerce: Overview; Papers on Systems for Ecommerce; Computer and Network Security