R.K. Shyamasundar

Picture

Address

Senior Professor

J.C. Bose National Fellow

School of Technology & Computer Science

Tata Institute of Fundamental Research

Bombay 400 005

India

Fax: +91 22 2280 4610

Fax: +91 22 2280 4611

Tel: +91 22 2280 4545 X 2288

e-mail: TCS Group
shyam[AT]tcs.tifr.res.in
shyam[AT]tifr.res.in
shyam[AT]acm.org

Secretary, John Barretto (X 2531) TCS john[AT]tcs.tifr.res.in

Memberships and Honors

Professional Societies

• Fellow, ACM
• ACM Distinguished Speaker
• Fellow, IEEE
• IEEE Computer Society CTP Speaker 2000-2003
• IEEE Computer Society Distinguished Visitor DVP 2005-2007

---

Academies

• Fellow, Indian Academy of Sciences
• Fellow, Indian National Science Academy
• Fellow, Indian National Academy of Engineering
• Fellow, The National Academy of Sciences, India
• Fellow, TWAS (Academy of Sciences of the Developing World)

Research Interests and Publications

• Recent Publications
• Real-Time and Reactive Programming
• Real-Time Programming: Langauges, Specification and Verification, RK Shyamasundar, S. Ramesh
• 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
• Homi Bhabha and the Computer Revolution, RK Shyamasundar and MA Pai

Indian Association for Research in Computing Science

• IARCS- Charter and Membership

---

Conferences

---

• ICDCN 2013, TIFR, 4-6 Jan 2013

• Computing for Science Discovery and Innovations: A Roadmap, 18-19 Feb 2011, TIFR, Mumai, Program Chair

---

• Compute 2011, ACM Bangalore Chapter, 25-26 March 2011, Taj Residency, MG ROad, Bangalore, Program Chair

---

• 20th IJCAI Conference, Hyderabad,Jan 2007, Senior Program Committee Member

---

• 3rd ICDCIT 2006, Bhubaneshwar, 20-23 Dec 2006, General Program Chair

---

• Making the Semantic Web Services Relevant to the Industry , 3 Sept 2006, Beijung, China

---

• 5th IEEE/ACM International Workshop on Grid Computing, Pittsburgh, November 2004

---

• Int. Conf on Distributed Computing and Internet Technology

  Bhuvaneshwar, December 2004

---

• UML 2004

  October 11-15, 2004, Lisbon, Portugal

---

• Formal Methods and Models for Codesign, MEMOCODE 2004

  June 23rd-25th, 2004 -- San Diego, California

---

• Task Force on Cluster Computing

---

• ISCES
International Society for Computational Engineering & Sciences

---

---

Collaborators

• Basant Rajan
• N. Raja
• M.R.K. Krishna Rao
• P. Pandya
• Vishwas Patil
• Deepak Kapur
• G. Berry
• Eric Rutten
• Embedded Systems

---

---

• TCS Group
• shyam[AT]tcs.tifr.res.in
• shyam[AT]tifr.res.in
• shyam[AT]acm.org