PhD in Applied Mathematics at
UC Santa Cruz
Email: shhaddad [at] ucsc (dot) edu External Links |
About
My research integrates control theory, optimization, machine learning, and set-based reachability analysis. In particular, my dissertation provides a collection of novel results and algorithms for estimating reach sets: Computing such sets is critical for guaranteeing the performance of machine learning and decision-making pipelines across safety-critical applications such as robotics, automated driving, and medical prognostics.
I have a strong mathematical background in optimization and dynamical systems; and extensive programming experience implementing numerical simulations, novel neural architectures, and optimization techniques.
Education
University of California, Santa Cruz
Santa Cruz, CA
PhD in Applied Mathematics, March 2024
Thesis: “A Geometric Approach for Learning Reach Sets”
University of Tehran, College of Mechanical Engineering
Tehran, Iran
M.Sc. in Mechanical Engineering, January 2018
Thesis: “Second Order Sliding Mode Tracking Control of a Piezoelectric Tapered Micro Actuator with Axial Deflection and System Nonlinearity”
Work & Research
Graduate Student Researcher with the University of California, Santa Cruz (2019-2024)
As a researcher in the Applied Mathematics Department at the University of California, Santa Cruz, I create and implement analytical and numerical methods essential for understanding the dynamics of control systems at the forefront of emerging technologies. Specifically, my responsibilities include proposing original research questions, developing theoretical result,implementing numerical experiments and computational simulations, writing research papers, and presenting our findings at top conferences.
Accomplishments:
Developed novel optimization methods for control and machine learning.
Constructed a novel sublinear input neural network (ISNN) architecture.
Introduced customized algorithm for set-based reachability.
Designed optimal stochastic controllers integrating optimal mass transport and model predictive control.
Proposed a stochastic reachability computation framework for occupancy prediction in automated driving.
Teaching Assistant with the University of California, Santa Cruz
Convex optimization (Fall 2022)
Introduction to Dynamical Systems (Fall 2021)
Mathematical Methods for Engineering II (winer 2021)
Graduate Student Researcher with the University of Tehran (2015-2018)
Accomplishments:
Conducted mechanical design of micro-piezoelectric actuator and vibration control.
Designed an observer based fault reconstruction schemes using terminal sliding modes
Publications
2024
2023
2022
- Hausdorff Distance between Norm Balls and their Linear Maps (under review)
- Shadi Haddad, Abhishek Halder.
- Certifying the Intersection of Reach Sets of Integrator Agents with Set-valued Input Uncertainties
- Shadi Haddad, Abhishek Halder. IEEE Control Systems Letters
- Density-Based Stochastic Reachability Computation for Occupancy Prediction in Automated Driving
- Shadi Haddad, Abhishek Halder and and Baljeet Singh. IEEE Transaction on Control Systems Technology
- Boundary and Taxonomy of Integrator Reach Sets
- Shadi Haddad, Abhishek Halder. American Control Conference
2021
- Anytime Ellipsoidal Over-approximation of Forward Reach Sets of Uncertain Linear Systems
- S Haddad, A Halder. CPS IoT Week Workshop
2020
- Prediction and Optimal Feedback Steering of Probability Density Functions for Safe Automated Driving
- S Haddad, KF Caluya, A Halder, B Singh. IEEE Control Systems Letters
- Observer based fault reconstruction schemes using terminal sliding modes
- M Mousavi, M Rahnavard, S Haddad. International Journal of Control 93 (4), 881-888
2019
- The Convex Geometry of Integrator Reach Sets
- S Haddad, A Halder. American Control Conference
2018
- Size dependent analysis of tapered FG micro-bridge based on a 3D beam theory
- S Haddad, M Baghani, MR Zakerzadeh. Scientia Iranica 27 (6), 2889-2901
Talks and Presentations
2023
- Convex and Nonconvex Sublinear Regression with Application to Data-driven Learning of Reach Sets
- American Control Conference, July 2023, San Diego
2022
- Certifying the Intersection of Reach Sets of Integrator Agents with Set-valued Input Uncertainties
- IEEE Conference on Decision and Control, Cancún, Mexico.
- Boundary and Taxonomy of Integrator Reach Sets
- American Control Conference, Atlanta, GA
2021
- Prediction and Optimal Feedback Steering of Probability Density Functions for Safe Automated Driving
- American Control Conference, Virtual Conference Talk
2020
- The Convex Geometry of Integrator Reach Sets
- American Control Conference, Virtual Conference Paper and Talk
2019
- Understanding the Geometry of Integrator Reach Sets for Robotics Applications
- Bay Area Robotics Symposium, Spotlight Talk and Poster Presentation, UC Berkeley
Professional Activities
Reviewer for IEEE Conference on Decision and Control, 2020-2024.
Reviewer for Journal of Systems and Control Letters, 2023, 2024.
Reviewer for Journal of Optimization Theory and Applications, 2023.
Reviewer for American Control Conference, 2023, 2022.
Reviewer for IEEE Control Systems Letters, 2023, 2021.
Reviewer for 2021 CPS IoT Week Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems
Honors & Awards
2022
- Applied Mathematics Research Award
- University of California at Santa Cruz
- Santa Cruz, CA
- Student Travel Award
- American Control Conference
- Atlanta, GA
- Advancement to Ph.D Candidacy with Honors
- University of California at Santa Cruz
- Santa Cruz, CA
2021
- Student Travel Award
- American Control Conference
- New Orleans, LA (Virtual)
2020
- Student Travel Award
- American Control Conference
- Denver, CO (Virtual)
2019
- Chancellor’s Fellowship
- University of California at Santa Cruz
- Santa Cruz, CA
2015
- Full Tuition Merit Scholarship
- University of Tehran
- Tehran, Iran
2011
- Full Tuition Merit Scholarship
- Chamran University of Ahvaz
- Ahvaz, Iran