Scholar
Saber Jafarpour
Google Scholar ID: wohjRaQAAAAJ
University of Colorado Boulder
Citations & Impact
Citations
823
H-index
16
i10-index
26
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- July 2025: Two papers accepted to IEEE CDC 2025!
- 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)
- February 2025: Our preprint 'Geometric Reachability for Attitude Control Systems via Contraction Theory' is available on arXiv!
- December 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)
- September 2024: Invited talk at the 60th Annual Allerton Conference on Communication, Control, and Computing.
- July 2024: 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).
- September 2024: Our paper 'Monotonicity and contraction on polyhedral cones' is accepted for publication in IEEE Transactions on Automatic Control!
- August 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!
- 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!
- March 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)!
- August 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!
Research Experience
- Currently a Research Assistant Professor in the Department of Computer Science at the University of Colorado Boulder. Previously, a Postdoctoral Research Fellow at the Institute for Robotics and Intelligent Machines at 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.
Education
- Ph.D. in the Department of Mathematics and Statistics at Queen's University, supervised by Andrew Lewis.
Background
- Research interests: control theory and autonomy, with applications to robotics and cyber-physical systems. Specific research areas include safety assurance of learning-enabled systems, performance of optimization and learning algorithms, resilience of large-scale autonomous systems, and geometric control of nonlinear systems.
Co-authors