Prof. R.K. Shyamasundar graduated from Indian Institute of Science, Bangalore and did his post-doctoral work with Prof. Edsgar W. Dijkstra. He is with the Tata Institute of Fundamental Research, Mumabi since graduation and is currently a Senior Professor at the Tata Institute of Fundamental Research, Mumbai and JC Bose National Fellow. His principle areas of research are: Specification, Design and Verification of reactive and real-time systems, Programming Languages, Logics of programs, Formal methods, Network & Information Security. He has more than 250 publications in refereed journals, conference proceedings, two monographs, several edited books, and holds several patents in US and India. He was a Distinguished Visiting Fellow at University of Cambridge and has been on the faculty/staff of Technological University of Eindhoven, IBM T.J. Watson Research Center, State University of Utrecht, Pennsylvania State University, University of Illinois at Urbana, University of Linkoping, UCSD, IBM India Research Lab He is a Fellow IEEE, and ACM and serves on IEEE Standards Committee.
Key people >