Paul K. Wintz

Paul K. Wintz holds a PhD in Applied Mathematics from UC Santa Cruz (2025). He researched nonlinear and hybrid control systems with formal stability and safety guarantees and developed mathematical methods and simulation tools for the analysis of feedback systems running on computationally constrained hardware. In 2022, he was finalist for Best Student Paper at the American Control Conference.

Research Interests

Nonlinear and hybrid feedback control with formal stability guarantees ⦁ Safe exploitation of uncertified controllers ⦁ Real-time, computationally-constrained cyber-physical systems ⦁ Reachability and asymptotic analysis of hybrid systems ⦁ Formal verification of dynamical and control systems

Education

University of California, Santa Cruz — 3.93 GPA September 2018-December 2025
PhD in Applied Mathematics December 2025
M.S. in Scientific Computing and Applied Mathematics September 2020
Westmont College — 4.0 GPA September 2014-May 2016
B.S. in Engineering Physics with a Minor in Music  

Employment

University of California, Santa Cruz
Graduate Student Researcher, Applied Mathematics Spring 2021-Fall 2025
  • Designed control schemes to exploit uncertified (learning-based) controllers while retaining formal stability and safety guarantees.
  • Developed Lyapunov-based and graph-based tools for analyzing asymptotic stability and reachability of hybrid dynamical systems.
  • Built the SHARC simulator for studying how computational hardware affects real-time controllers.
Arthrex California Technology
Junior Software Engineer June 2016-September 2018
  • Designed and implemented features for surgical camera systems on Android and Linux.
  • Created the prototype of the real-time video transformation software used in the Pano scope system.
Hartnell College / UC, Santa Cruz
Instructor, Undergraduate Mathematics Winter 2024; Fall 2025-Present
  • Taught calculus and linear algebra to classes of up to 270 students, with emphasis on applications to engineering.

Honors

🥈 Best Student Paper Award Finalist June 2022
American Control Conference.
🥇 Top Student Award / 🎖️ Outstanding Senior Award May 2016
Westmont College / Department of Physics, Westmont College.

Skills

Python ⦁ MATLAB ⦁ C++ ⦁ Nonlinear Control ⦁ Model Predictive Control ⦁ Linear Feedback Control ⦁ Hybrid Dynamical Systems ⦁ Set-valued and Non-Smooth Analysis ⦁ Simulation and Analysis Tool Development ⦁ Git ⦁ Docker