Paul K. Wintz

pwintz@ucsc.edu paulwintz.com

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

PhD in Applied Mathematics

12/2025

M.S. in Scientific Computing and Applied Mathematics

09/2020

Westmont College — 4.0 GPA

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.

Software

SHARC (Simulator for Hardware Architecture and Real-time Control)
Hybrid Equations Toolbox