I will be presenting our paper “Vertical Contracts for Safety Control” DESTION in CPS-IoT Week 2026 in Saint Maol, France.

I will give a talk on “System Interpolation: From Behavioral Comparison Across time Domains to Safety Control,” in CPS weekly meeting at MPI-SWS in Kaiserslautern, Germany.

I will defend my Ph.D. thesis “Complexity Reduction in Verification and Synthesis of Linear Control Systems: An Abstraction-based Approach.” You are also welcome to join the reception that takes place after the ceremony in the Spiegelzaal (in the same building).

A digital copy of the thesis can be found here. If you are unable to attend the ceremony in person, you may follow its live stream, which will be available here.   

I will present the results of Chapters 2, 3, and 7 of my Ph.D. thesis, entitled “Complexity Reduction in Verification and Synthesis of Linear Control Systems: An Abstraction-based Approach.”