R.K. Shyamasundar

R.K. Shyamasundar is a Professor at the Indian Institute of Technology Bombay, with a focus on Real-Time and Reactive Programming, Logic Programming, Pi-Calculus, and Parallel Programs.

• Research spans formal verification, concurrency, and distributed systems.
• Key contributions include RT-CDL semantics, Esterel language extensions, and hybrid system controller synthesis.
• Scientific awards include JC Bose National Fellow, Fellowships at Indian Academy of Sciences and Indian National Science Academy, and Senior Membership in IEEE.

His work involves collaborations with institutions like TCS Group and researchers such as Basant Rajan, N. Raja, and Deepak Kapur.