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 >