I recently completed my PhD focused on verification of neural networks that are used in nonlinear systems, such as neural networks used for control of nonlinear dynamical systems and for inversion of nonlinear measurement models. My expertise lies at the intersection of three fields: machine learning, control + dynamics, and formal methods.
Scientific Researcher at Stanford Intelligent Systems Laboratory
Aero-Astro: Autonomy & Controls