Saber Jafarpour

Research Assistant Professor

Department of Computer Science

University of Colorado Boulder

Email: saber.jafarpour@colorado.edu

Invited Talks

  1. Data-Driven Detection and Localization of Critical Transitions in Nonlinear Networks, Workshop on Robustness, Resilience, and Early Warnings in Natural Dynamical Networks, European Control Conference (ECC 2026), Reykjavík, Iceland, July 2026 [Slides].
  2. Safety Assurance in Learning-Enabled Autonomous Systems: A Mixed-Monotone Approach, Robotics Seminar Series, University of Colorado Boulder, Oct. 2025 [Slides].
  3. Safety Assurance in Neural Network Controlled Systems: A Mixed-Monotone Approach, ACC Workshop on Formal Methods for Systems with Neural Components, July 2025 [Slides].
  4. Mixed-Monotone Reachability in Dynamical Systems with Application to the Safety of Learning-Enabled Systems, Department of Mathematics, Louisiana State University, March 2025 (host: Michael Malisoff) [Slides].
  5. Non-Euclidean Monotone Operator Theory for Robustness of Implicit Neural Networks, Vector Institute for Artificial Intelligence, Toronto, Canada, Feb. 2025 (host: Anastasis Kratsios) [Slides].
  6. Reachability Analysis of Dynamical Systems: A Mixed-Monotone Contracting Approach, Allerton Conference on Communication, Control, and Computing, Sep. 2024 (host: Daniel Liberzon) [Slides].
  7. Mixed-Monotone Theory for Verification of Autonomous Systems, Guest Lecture, Verification of Embedded & Cyber-Physical Systems, University of Illinois Urbana-Champaign, Apr. 2024 (host: Huan Zhang) [Slides].
  8. Safety Assurance in Learning-Enabled Autonomous Systems, Waterloo Data and Artificial Intelligence Institute, University of Waterloo, Canada, Mar. 2024 [Slides].
  9. Safety of Autonomous Systems with Learning-Enabled Feedbacks, Reliable Autonomous Systems Lab, Massachusetts Institute of Technology, Nov. 2023 (host: Chuchu Fan) [Slides].
  10. Reachability Analysis of Control Systems: A Mixed-Monotone Approach, ECEE Department Seminar, University of Colorado Boulder, Oct. 2023 [Slides].
  11. Interaction-Aware Interval Reachability of Neural Network Controlled Systems, Allerton Conference on Communication, Control, and Computing, Allerton Park, Illinois, Sep. 2023 [Slides].
  12. Reachability Analysis of Neural Network Controlled Systems: A Mixed-Monotone Contracting Approach, Workshop on Geometry, Topology and Control System Design, Banff Centre for Arts and Creativity, Canada, Jun. 2023 [Video] [Slides].
  13. Weak and Semi-Contraction for Large-Scale Network Systems, LANS Seminar, Argonne National Laboratory, Apr. 2023 (host: Adrian Maldonado) [Slides].
  14. Exploiting Structure in Feedback Systems with Learning-Based Components, ECEE Seminar, University of Colorado Boulder, Feb. 2023 [Slides].
  15. Exploiting Structure in Analysis and Design of Feedback Systems with Learning-Based Components, Coordinated Science Laboratory, University of Illinois Urbana-Champaign, Jan. 2023 (host: Mohamed-Ali Belabbas) [Slides].
  16. Robustness of Neural Networks via Non-Euclidean Contraction Theory, Control Colloquium, Indian Institute of Technology Delhi (virtual), Jun. 2022 [Slides].
  17. Safety and Resilience of Large-Scale Networks via Contraction Theory, Department of Mechanical Engineering, University of California, Riverside, Mar. 2022 [Slides].
  18. Frequency Synchronization and Multistability in Power Grids, RSRG Virtual Seminar, California Institute of Technology, May 2021 (host: Steven Low) [Slides].
  19. Non-Euclidean Contraction and Its Extensions with Applications to Network Systems, School of Electrical and Computer Engineering, Georgia Institute of Technology, May 2021 (host: Samuel Coogan) [Slides].
  20. Weak and Semi-Contraction for Network Systems, Mathematical Biology Seminar, University of Iowa, Apr. 2021 (host: Zahra Aminzare) [Slides].
  21. Stability and Control of Large-Scale Nonlinear Networks, Queen's University Seminar, Apr. 2021 [Slides].
  22. Synchronization and Multistability in Complex Networks and Power Grids, Control Theory Seminar, Peking University, May 2020 (host: Wenjun Mei) [Slides].
  23. Real Analytic Control Systems, ISS Seminar Series, Center for Intelligent Machines, McGill University, Feb. 2014 (host: Peter Caines).
  24. Controllability of Nonlinear Systems, Queen's Graduate Seminar, Queen's University, June 2013.

Selected Conference Talks

  1. A Contracting Dynamical Systems Perspective Toward Interval Markov Decision Processes, 62nd IEEE Conference on Decision and Control (CDC), Marina Bay Sands, Singapore, Dec. 2023 [Slides].
  2. Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks, 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, Dec. 2022 [Slides].
  3. Robustness Certificates for Implicit Neural Networks: A Mixed-Monotone Contractive Approach, Learning for Dynamics and Control (L4DC), Stanford University, Jun. 2022 [Slides].
  4. Resilience of Input Metering in Dynamic Flow Networks, American Control Conference (ACC), Atlanta, Jun. 2022 [Slides].
  5. Robust Implicit Neural Networks via Contraction Theory, Advances in Neural Information Processing Systems (NeurIPS), Sydney, Australia (virtual), Dec. 2021 [Slides].
  6. Robust Implicit Neural Networks via Contraction Theory, Southeast Control Conference (SECC), Virginia Tech, Nov. 2021 [Slides].
  7. Synchronization and Multistability in Oscillator Networks and Power Grids, 57th IEEE Conference on Decision and Control, Miami, Florida, Dec. 2018 [Slides].
  8. Synchronization in Oscillator Networks and Power Grids, 35th Southern California Control Workshop, UCLA, Nov. 2018.
  9. On Small-Time Local Controllability, 7th Biennial Meeting on Systems and Control Theory, Queen's University, May 2016 [Slides].
  10. Control Systems and Locally Convex Topologies, 6th Biennial Meeting on Systems and Control Theory, University of Waterloo, May 2014 [Slides].