Our proposal titled “Interactive Synthesis and Repair For Robot Programs”, with collaborator Arjun Guha was awarded by the NSF! We look forward to developing new approaches to automated and semi-automated program repair and synthesis for robots funded by this grant. NSF Award Abstract