Ritwika Ghosh

Papers

Total Citations

H-Index

About

Ritwika Ghosh is a researcher at the intersection of programming languages, distributed systems, and robotics, with a focus on making robot software safer, more portable, and easier to verify. Her most notable contribution is **Koord**, a domain-specific language for programming and verifying distributed robotics applications, which has garnered 17 citations since its 2020 publication. Koord addresses a critical gap in robotics software development: current languages lack hardware-independent abstractions, forcing developers to grapple with low-level signal processing and platform-specific details. By providing high-level constructs for sensing, control, and inter-robot communication, Ghosh’s work enables programmers to write correct-by-construction distributed robot behaviors without deep hardware expertise. Her research has the potential to accelerate the development of multi-robot systems for applications like warehouse automation, search-and-rescue, and environmental monitoring. Ghosh’s contributions are particularly impactful for students and researchers working on the growing challenge of making complex, distributed robotic systems both reliable and easy to program. Her work exemplifies how programming language theory can solve real-world engineering problems in robotics.