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.”