Reza Soltani

I work on formal methods and security for cyber-physical systems, with a focus on safety-security co-analysis in domains such as smart grids, satellite ground segments, reactors, and Industry 4.0. My research combines formal modelling, verification, and statistical model checking to produce decision evidence under uncertainty.

Much of that work is shaped through direct collaboration with domain partners. I have used formal models in research and industrial settings in Argentina, China, and the Netherlands, and I also extend these methods through BSc and MSc supervision on PRISM, MDPs, attack-defense trees, and game-theoretic analysis.

The work is also shaped through collaborations across the University of Twente, Eindhoven University of Technology, the Institute of Software of the Chinese Academy of Sciences, and the National University of Rio Cuarto.

Outside the university setting, I also build and operate infrastructure projects, which keeps the work grounded in practical systems concerns. The result is a research style that tries to keep rigor, deployability, and engineering reality in the same conversation.