Maximilian Weininger

I am a researcher interested in the formal verification of safety-critical systems.

After finishing my PhD at Technical University of Munich under the supervision of Jan Kretinsky, I am now an IST-BRIDGE fellow at the Institute of Science and Technology Austria, working with Krishnendu Chatterjee.

You can reach me at mweining(at)

For more information about me, you can check out