๐ I successfully defended my PhD Dissertation "Formal Reachability and Robust Stability Analysis of Neural Network Control Systems"Jan 16, 2026ยทYuhao Zhangยท 0 min readLast updated on Jan 16, 2026Academic AuthorsYuhao ZhangSenior R&D Mechanical Engineer ← ๐ I have started my position as a Senior R&D Mechanical Engineer at Halliburton. Feb 16, 2026๐ Our work 'Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties' was accepted by Automatica! Feb 24, 2025 →