My research is at the intersection of machine learning, control theory, and formal methods. The main theme of my work is safety and soundness, and the emphasis is on safe autonomy through correct-by-construction algorithmic approaches to robotic, aerospace, and cyber-physical systems.
keywords
Safe AI, machine learning, 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 3128 - Aircraft Dynamics
Primary Instructor
-
Spring 2022 / Spring 2023
Develops the fundamental concepts of aircraft dynamics. Covers flight mechanics, performance, dynamics and control of aircraft and how they impact aircraft design.
ASEN 3728 - Aircraft Dynamics
Primary Instructor
-
Fall 2023
Develops the fundamental concepts of aircraft dynamics. Covers flight mechanics, performance, dynamics and control of aircraft and how they impact aircraft design.
ASEN 4018 - Senior Projects 1: Design Synthesis
Primary Instructor
-
Fall 2019
Focuses on the synthesis of technical knowledge, project management, design process, leadership, and communications within a team environment. Students progress through the design process beginning with requirements development, then preliminary design and culminating with critical design. Offered fall only.
ASEN 4028 - Senior Projects 2: Design Practicum
Primary Instructor
-
Spring 2020
Focuses on the fabrication, integration, verification and validation of designs produced in ASEN 4018. Students work within the same teams from ASEN 4018. Offered spring only.
ASEN 5254 - Algorithmic Motion Planning
Primary Instructor
-
Fall 2022 / Fall 2023
Overview of the �lessons� learned by the robot motion planning community in the recent years. Examines approaches based on potential functions, graphs, sampling methods, task and motion planning, and basic approaches to planning under uncertainty. Provides a set of tools to tackle new problems and enables the pursuit of complex research questions such as planning for autonomous systems. Recommended prerequisites or corequisites: ASEN 5014 or equivalent, knowledge of how to plot 2-D/3-D functions, arrays and other data structures, standard constructs (loops, functions, etc), C++, Python or MATLAB, and knowledge of differential equations and linear algebra.
ASEN 5519 - Selected Topics
Primary Instructor
-
Fall 2019 / Fall 2020 / Fall 2021
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 / Spring 2021 / Spring 2022 / Spring 2023 / Spring 2024
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.
