Orna Grumberg

درباره نویسنده

Orna Grumberg is a prominent figure in the field of computer science, particularly known for her contributions to software systems safety and formal verification. Her work has significantly influenced the way researchers and practitioners approach the development and verification of complex software systems. Grumberg has authored and co-authored several important texts, including the widely recognized "Model Checking," which has become a cornerstone in the field of formal methods. Her research often intersects with topics in model checking and automated reasoning, making her contributions invaluable for advancing the safety and reliability of software systems.