91ÃÛÌÒ¸ó

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

2025 - Present,ÌýAssociate Professor,ÌýAerospace Engineering Sciences, 91ÃÛÌÒ¸ó 91ÃÛÌÒ¸ó
2018 - 2025,ÌýAssistant Professor,ÌýAerospace Engineering Sciences, 91ÃÛÌÒ¸ó 91ÃÛÌÒ¸ó
2015 - 2018, 91ÃÛÌÒ¸ó Scientist, Department of Computer Science, University of Oxford, UK
2013 - 2015,ÌýPostdoctoral 91ÃÛÌÒ¸ó Associate,ÌýDepartment of Computer Science, Rice University

Additional Appointments

Courtesy Appointment, Department of Computer Science

91ÃÛÌÒ¸ó 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.
Ìý