Orna Grumberg

Orna Grumberg is a Professor at the Computer Science Department, Technion – Israel Institute of Technology. She is a member of the Academia Europaea and an ACM Fellow, recognized for her work in formal verification and model checking.

• PhD in Computer Science, Technion
• Honorary Doctorate from Technical University of Munich (2017)

Her research focuses on automated verification of software and hardware systems, including model checking, program repair, and abstraction-refinement techniques. She pioneered the CEGAR (Counterexample-guided Abstraction Refinement) framework, which won the CAV award. Her work spans temporal logics, automata on infinite objects, and security vulnerability detection using formal methods.

Her publications highlight trends in SAT-based model checking, compositional verification, and multi-valued systems, with applications to UML systems, STE refinement, and distributed model checking. She has co-authored foundational texts such as Model Checking (1999) and its second edition (2018).

• CAV Award (2000) for CEGAR
• ACM Fellow
• Dr.h.c. from Technical University of Munich (2017)
• Member, Academia Europaea

Grumberg has delivered tutorials and lectures at prestigious events like the NATO Summer School Marktoberdorf (2001–2017), covering topics such as 3-valued abstraction, SAT-based model checking, and program repair. She served on the steering committee of the Computer-Aided Verification (CAV) conference and contributed to distributed and parallel model checking algorithms.