Our explorations of the design space for robotic technologies have demonstrated that the interactions afforded by these technologies—such as the robotic arm handing objects over at precisely the right time—can be very powerful but highly complex. Creating such interactions will require designers to perform design tasks that are substantially more complex and will demand methods and tools that empower them in tackling such complexity. In a second thread of research, my group has drawn on formal methods, specifically program analysis and synthesis, to reimagine the design process for robotic technologies as a mixed-initiative interaction where prototyping, simulation, and implementation tasks are performed by the computer and designers can focus on the creative and collaborative aspects of the design process.
In this thread of research, I build a suite of tools we have been building to support the unique and complex task of designing robotics applications for human use in collaboration with researchers in programming languages. My collaborators in this line of work include:
Students who are participating in this work include:
Some of the tools we have built in this thread of research include:
- RoVer—a visual authoring environment that verifies robot programs for social norms and task completeness [Paper | Talk]
- Synthé—an authoring system that enables designers to demonstrate social interactions through role play [Paper | Talk]