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)ist.ac.at

For more information about me, you can check out

• my publications on dblp,
• my CV (last updated August 2023),
• or my thesis which summarizes and explains in detail the major research directions I pursue.