Ivan S. Zapreev

Dr. Ivan S. Zapreev is a researcher at RWTH Aachen University, affiliated with the Computer Science department. He is best known for developing the MRMC (Markov Reward Model Checker) tool, which has been widely used in probabilistic model checking and formal verification of systems.

• University: RWTH Aachen University
• Research Focus: Probabilistic Model Checking, Markov Chains, Formal Verification, Software Engineering

His work primarily involves the analysis of continuous-time Markov chains (CTMC) and the development of efficient algorithms for steady-state detection and bisimulation minimization. These techniques have been applied to improve the performance of probabilistic model checkers like MRMC.

Dr. Zapreev is a co-author of several influential papers in the field, including those presented at QEST, TACAS, and as technical reports. His contributions focus on optimizing algorithms and tools for software verification and formal methods.

For more information, you can visit his homepage at RWTH Aachen University.