research overview I am broadly interested in the intersection of control theory and autonomy, with applications in robotics and cyber-physcial systems.
selected publications conference proceeding immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX. IFAC-PapersOnLine. 75-80. 2024 journal article Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops. IEEE Transactions on Automatic Control. 8706-8721. 2024 Non-Euclidean Monotone Operator Theory and Applications. Journal of Machine Learning Research. 2024 Safety Verification of Stochastic Systems: A Set-Erosion Approach. IEEE Control Systems Letters. 2859-2864. 2024 Forward Invariance in Neural Network Controlled Systems. IEEE Control Systems Letters. 3962-3967. 2023