ÃÛÌÇÖ±²¥

Education

PhD, Mechanical Engineering (Control Theory and Robotics),ÌýBoston University, 2013
MS,Ìý Mechanical EngineeringÌý(Control Theory and Robotics),ÌýBoston University, 2009
BS,Ìý Bioengineering, University of California, Berkeley, 2005

Professional Experience

2018 - Present,ÌýAssistant Professor,ÌýAerospace Engineering Sciences, University of ÃÛÌÇÖ±²¥ Boulder
2015 - 2018, Research Scientist, Department of Computer Science, University of Oxford, UK
2013 - 2015,ÌýPostdoctoral Research Associate,ÌýDepartment of Computer Science, Rice University

Additional Appointments

Courtesy Appointment, Department of Computer Science

Research Interests

Dynamics, control theory, game theory, systems, and formal methods with applications in robotics, particularly motion planning, strategy synthesis, model checking, hybrid systems, and human-robot interaction.

My main research theme is safety and soundness, and the emphasis is on safe automation through correct-by-construction algorithmic approaches; integrating control theory and formal methods to form powerful frameworks that enable autonomy in achieving complex tasks through high-level decision making with the awareness of low-level complexities and constraints of the physical system.
Ìý