Natalia Yevgenyevna Sharygina

Papers

Total Citations

H-Index

About

Natalia Yevgenyevna Sharygina is a leading figure in formal verification, with her foundational work centering on the model checking of software control systems. Her doctoral research, published in 2002, tackled the critical challenge of applying model checking—a rigorous formal technique that verifies whether a system property holds across all possible execution paths—to complex, real-world software. This work, which has garnered over 7,000 citations, demonstrated how to bridge the gap between theoretical verification methods and practical industrial applications, particularly for safety-critical control systems. Sharygina's major contributions include pioneering compositional and abstraction-based verification techniques that make it feasible to analyze large-scale software without state-space explosion. She has also been instrumental in advancing SAT and SMT-based model checking, tools now essential in hardware and software verification. Her impact is reflected not only in her highly cited papers but also in her leadership roles, including serving as a program chair for top conferences like CAV and TACAS. For students and researchers, Sharygina’s work exemplifies how deep theoretical insights can be transformed into practical tools that ensure the reliability of the software systems we depend on every day.