R.K. Shyamasundar took his B.E. (Electrical Engg.) from University of Mysore, M.E. (Electrical Engg) and Ph.D.(Computer Science and Automation), from Indian Institute of Science,Bangalore,in 1970, 1972, 1975 respectively.

He is currently with the Tata Institute of Fundamental Research as Senior Professor and Dean of the Faculty of Technology and Computer Science. His principle areas of research are: Specification, Design and verification of reactive and real-time systems, Validation of Compilers, Logic programming, Concurrency and formal methods. He has published widely and has more than 200 publications in refereed journals and conference proceedings.

He has been on the faculty/staff of IBM T.J. Watson Research Center, NY, USA, State University of Utrecht, The Netherlands, Technological University of Eindhoven, The Netherlands, Pennsylvania State University, University of Illinois at Urbana-Champaign. He has held joint projects with IRISA/INRIA, Ecole des Mines, Sophia Antipolis, and Verimag, Grenoble, France. He has served as a consultant to Esprit projects at The Netherlands and several industries in India.

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 IEEE (USA).