Orna Grumberg

Orna Grumberg is a Leumi Chair Professor in the Computer Science Department at the Technion - Israel Institute of Technology. She has held this professorship since 2005 and was awarded the Leumi Chair in Science in 2011. Professor Grumberg serves on the Steering Committee of the Computer-Aided Verification (CAV) conference and has been actively involved in the academic community through editorial boards and conference committees.

Her educational background is deeply rooted at the Technion, where she received her B.Sc., M.Sc., and Ph.D. in Computer Science.

Professor Grumberg's research spans several critical areas in computer science, with a primary focus on formal verification methods. Her work has significantly advanced the field of model checking and automated verification systems. She has made substantial contributions to abstraction techniques, refinement methods, and counterexample analysis in verification processes. Her research extends to compositional model checking, SAT-based approaches, distributed verification systems, and applications to security vulnerability detection. Her theoretical work on temporal logics and automata on infinite objects provides the mathematical foundation for many practical verification tools.

The publication record of Professor Grumberg demonstrates a consistent research trajectory focused on improving model checking techniques. Her work shows evolution from foundational model checking approaches to more specialized techniques like abstraction-refinement, SAT-based solving, and security applications. The research spans theoretical computer science, practical software engineering applications, and hardware verification, reflecting the interdisciplinary nature of formal methods.

Professor Grumberg has received recognition through her leadership roles in the field, including serving on the Steering Committee of the CAV conference and editorial boards of prestigious journals like "Information and Computation" and "Formal Methods in System Design". Her book "Model Checking" co-authored with E.M. Clarke and D. Peled has become the standard reference in the field.

As an educator and mentor, Professor Grumberg has shaped the verification landscape in Israel. She served as Associate Dean for Graduate Studies at the Technion and established the software engineering track with a strong verification component. Her introductory model checking course attracts approximately 100 students annually. Her students now hold prominent positions in academia (Hebrew University, Tel-Aviv University) and industry (particularly at IBM). She maintains strong industry collaborations, with ongoing projects with IBM on UML Verification and with Rafael on Finding Security Vulnerabilities in Network Protocols.

Professor Grumberg leads research groups that form the foundation for verification teams in major Israeli technology companies like IBM and Intel, demonstrating the practical impact of her academic work.