I am interested in both the theoretical and application sides of my field of study. My interests include 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. The main theme of my work is safety and soundness, and the emphasis is on safe autonomy through correct-by-construction algorithmic approaches. In my research, I integrate 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 systems.
keywords
Formal verification, formal synthesis, hybrid systems, planning under uncertainty, motion planning, model checking, dynamics
Social Trust: a Major Challenge for the Future of Autonomous Systems.
Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee....
2016
ASEN 5519 - Selected Topics
Primary Instructor
-
Fall 2019
Reflects upon specialized aspects of aerospace engineering sciences. Course content is indicated in the online Class Search. May be repeated up to 9 total credit hours. Recommended prerequisite: varies.
ASEN 6519 - Special Topics
Primary Instructor
-
Spring 2019
Reflects upon specialized aspects of aerospace engineering sciences. Course content is indicated in the online Schedule Planner. May be repeated up to 9 total credit hours. Recommended prerequisite: varies.
