Research Interests: High-level interaction with physical systems, particularly robots; how to formalize high-level goals in a user-friendly way; how to automatically create controllers for such systems and how to ensure these systems behave correctly.