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 reachability analysis, a branch of control theory. 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.

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