news

Oct, 2021

I gave a tutorial talk on my STLCG toolbox and was part of the panel discussion at the IROS21 workshop, Transforming Specifications into Robot Programs: A Survey of Formal Methods Tools for Non-Experts

Sep, 2021

I started my new role as Research Scientist at NVIDIA Research with the Autonomous Vehicle Research Group.

Jul, 2021

I was featured in Stanford Engineering’s #IAmAnEngineer series. Check out my spotlight!

Jul, 2021

I defended my PhD! You can find a recording of my talk here.

Jul, 2021

New paper on arXiv! This is joint work with Andrea Bajcsy where we advocate for the use of Hamilton Jacobi (HJ) reachability as a unifying mathematical framework for expressing and comparing existing safety concepts used throughout industry and academia.

Mar, 2021

I’m excited to join NVIDIA for an internship in the Autonomous Driving Research group led by Marco Pavone.

Mar, 2021

WAFR2020 finally happened albeit online and in a spotlight talk format. Check out everybody’s spotlight talk including mine.

Mar, 2021

A paper led by Simon Schaefer, Leveraging Neural Network Gradients within Trajectory Optimization for Proactive Human-Robot Interactions has been accepted to ICRA 2021!!!

Feb, 2021

I gave a seminar talk at the University of Washington, Aeronautics and Astronautics department, titled, Towards safe, robust, and trustworthy robot autonomy: Infusing formal methods into learning-enabled autonomy.

Feb, 2021

I gave a talk at UC Berkeley at a joint lab meeting with Prof. Francesco Borrelli, Prof. Ben Recht, and Prof. Koushil Sreenath.

Jan, 2021

I gave a spotlight talk at the NorCal Controls Workshop.

Dec, 2020

I gave a talk at the Autonomous Systems Group at the University of Texas, Austin, titled Safe and trustworthy robot autonomy: Merging formal methods with learning-based techniques.

Nov, 2020

I gave a spotlight talk at the Bay Area Robotics Symposium

Nov, 2020

My paper Multimodal Deep Generative Models for Trajectory Prediction: A Conditional Variational Autoencoder Approach was accepted to IEEE Robotics and Automation Letters 2020.

Nov, 2020

I gave at (virtual) talk titled On Using Reachability Analysis and Temporal Logic for Safe and Robust Planning Under Uncertainty at ETH Zurich Institute for Dynamic Systems and Control Autonomy Talks Seminar.

Jul, 2020

My journal paper On Infusing Reachability-Based Safety Assurance within Planning Frameworks for Human-Robot Vehicle Interactions is now published in the International Journal of Robotics Research.

May, 2020

A paper I co-authored with Jonathan DeCastro at TRI, Interpretable Policies from Formally-Specified Temporal Properties, was accepted to IEEE Intelligent Transportation Systems Society Conference 2020.

Apr, 2020

My paper in collaboration with Nikos Arechiga from Toyota Research Institute, Back-propagation through STL Specifications: Infusing Logical Structure into Gradient-Based Methods was accepted to the Workshop on Algorithmic Foundations 2020. (talk).

Mar, 2020

I gave a (virtual) talk titled, On Infusing Logical Reasoning Into Robot Learning at the Design, Automation and Test in Europe Conference, Autonomous Cyber-Physical Systems: Modeling and Verification Workshop.

Nov, 2019

I am headed to Stockholm, Sweden for the Future Digileaders Event. I will get to meet other leading female researchers in the broad of field of Digitilization.