Ivan HASENOHR

I recently defended my PhD titled Computer-assisted Proofs of Reachability Analysis for Linear Control Systems under Bounded Constraints at the MAP5 laboratory, in Université Paris Cité.

My PhD, done under the wonderful supervision of Camille Pouchol, Yannick Privat and Christophe Zhang, was devoted to control theory, more specifically reachability analysis. Using convex analytic tools, numerical analysis and interval arithmetic I have developped computer-assisted proofs of non-reachability for linear control systems, for both ODEs or parabolic PDEs. You can find my thesis here.

Starting January 2026, I will be a postdoctoral researcher part of the IdCONTROL subproject of the MR-DYNAMO Austrian-funded project, working with Professor Barbara Kaltenbacher at the University of Klagenfurt’s department of mathematics.