My research interests sit in between HRI and PL, where I work in designing and evaluating end-user programming (EUP) interfaces for authoring robot behaviors. My goal is to enable end-users to program safe and reliable robot behaviors in highly variable, uncertain, and failure-prone environments, using techniques from formal methods such as program verification and repair.