Office Location: AERO 267
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
2018 - Present, Assistant Professor, Aerospace Engineering Sciences, University of Colorado Boulder
2015 - 2018, Research Scientist, Department of Computer Science, University of Oxford, UK
2013 - 2015, Postdoctoral Research Associate, Department of Computer Science, Rice University
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.