Saber Jafarpour Research Assistant Professor Department of Computer Science University of Colorado Boulder Email: saber.jafarpour@colorado.edu

Home

Research

Publications

Teaching

Talks

Research Group

C.V.

Google Scholar

I am a Research Assistant Professor at the University of Colorado Boulder. Prior to this, I was a Postdoctoral Research Fellow at the Institute for Robotics and Intelligent Machines at the Georgia Institute of Technology, working with Sam Coogan, and a Postdoctoral Research Fellow at the Center for Control, Dynamical Systems, and Computation at the University of California, Santa Barbara, working with Francesco Bullo. I completed my Ph.D. in the Department of Mathematics and Statistics at Queen's University under the supervision of Andrew Lewis. My research lies at the intersection of control theory and autonomy, with applications to robotics and cyber-physical systems. More specifically, I focus on the following research areas: Safety assurance of learning-enabled systems Performance of optimization and learning algorithms Resilience of large-scale autonomous systems Geometric control of nonlinear systems Links: Scopus, IEEE Xplore, Orcid ID: 0000-0002-7614-2940,

News: May. 2025: Our paper Neural Barrier Certificates for Monotone Systems is accepted for publication in IEEE Control Systems Letters! April. 2025: Our preprint Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube is available on arXiv! (Joint work with Zishun Liu and Yongxin Chen) April. 2025: Our paper Probabilistic Reachability Analysis of Stochastic Control Systems is accepted for publication in IEEE Transactions on Automatic Control! (Joint work with Zishun Liu and Yongxin Chen) Feb. 2025: Our preprint Geometric Reachability for Attitude Control Systems via Contraction Theory is available on arXiv! Dec. 2024: Our paper Safety Verification of Stochastic Systems: A Set-Erosion Approach is accepted for publication in IEEE Control Systems Letters! (Joint work with Zishun Liu and Yongxin Chen) Sep. 2024: Invited talk at the 60th Annual Allerton Conference on Communication, Control, and Computing. July 2024: I am co-organizing the workshop From Formal Methods to Data-Driven Verification and Control during CDC 2024 in Milan on December 15th (other organizers: Abolfazl Lavaei, Lars Lindemann, and Chuchu Fan). Sept. 2024: Our paper Monotonicity and contraction on polyhedral cones is accepted for publication in IEEE Transactions on Automatic Control ! Aug. 2024: Our paper Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops is accepted for publication in IEEE Transactions on Automatic Control ! July 2024: Our paper Forward Invariance in Neural Network Controlled Systems is accepted for publications in IEEE Control Systems Letters ! I joined Department of Electrical and Computer Engineering at Univerity of Colorado Boulder as a Research Assistant Professor July 2023: Our paper A contracting dynamical system perspective toward interval markov decision processes is accepted for presentation at 62th IEEE Conference on Decision and Control in Marina Bay Sands, Singapore! July 2023: Our paper Contraction-guided adaptive partitioning for reachability analysis of neural network controlled systems is accepted for presentation at 62th IEEE Conference on Decision and Control in Marina Bay Sands, Singapore! Mar. 2023: Our paper Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers is accepted for presentation at 5th Annual Learning for Dynamics and Control Conference (L4DC)! Aug. 2022: Our paper Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks is accepted for presentation at 61th IEEE Conference on Decision and Control in Cancun, Mexico! Aug. 2022: Our paper Non-Euclidean Monotone Operator Theory with Applications to Recurrent Neural Networks is accepted for presentation at 61th IEEE Conference on Decision and Control in Cancun, Mexico! Jun. 2022: Our paper Robust Training and Verification of Implicit Neural Networks: a non-Euclidean Contractive Approach is accepted for poster presentation at the ICML workshop on Formal Verification of Machine Learning (WFVML 2022) in Baltimore, Maryland! Mar. 2022: Our work Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach is accepted for presentation at 4th Learning for Dynamics and Control Conference (Oral Presentation: Top 10 precent of submitted papers) Jan. 2022: Our work Resilience of Input Metering in Dynamic Flow Networks is accepted for presentation at 2022 American Control Conference (ACC) in Atlanta! Sep. 2021: Our paper Robust Implicit Networks via Non-Euclidean Contractions is accepted in NeurIPS 2021!. July 2021: Our paper Distributed and Time-Varying Primal-Dual Dynamics via Contraction Analysis, is accepted for publication in IEEE Transactions on Automatic Control! July 2021: Our paper From Contraction Theory to Fixed Point Algorithms on Riemannian and non-Euclidean Spaces, is accepted for presentation at 60th IEEE Conference on Decision and Control , Austin, Texas, USA! Apr. 2021: We posted two manuscripts on arXiv: Non-Euclidean Contraction Theory for Robust Nonlinear Stability and Non-Euclidean Contraction Theory for Monotone and Positive Systems. Apr. 2021: Our paper Flow and Elastic Networks on the n-Torus: Geometry, Analysis and Computation, is accepted for publication in SIAM Review (Research Spotlight) . Mar. 2021: Our paper Singular Perturbation and Small-signal Stability for Inverter Networks, is accepted for publication in IEEE Transactions on Control of Network Systems ! Mar. 2021: Our paper Weak and Semi-Contraction for Network Systems and Diffusively-Coupled Oscillators, is accepted for publication in IEEE Transactions on Automatic Control.