Not registered as user yet

Name: Ritwika Ghosh

Affiliation: University of Illinois at Urbana-Champaign

Contributions

SPLASH 2020 Author of Koord: A Language for Programming and Verifying Distributed Robotics Application within the OOPSLA-track