Orna Grumberg - Short Biography
#

Orna Grumberg is a Leumi Chair Professor of Computer Science at the Technion. She received her B.Sc., M.Sc., and Ph.D. from the Computer Science Department at the Technion. She has worked in the field of automated verification, also known as model checking, for over 25 years.

Her research interests include automated verification of software and hardware; abstraction and refinement in model checking, including 3-valued abstraction; modular model checking; distributed model checking; exploiting model checking to finding security vulnerabilities; SAT-based model checking; temporal logics; and automata on infinite objects.

Orna is the co-author of the book Model Checking, which is the main reference, in both academia and industry, for learning about this field. She published numerous papers in the top journals and leading conferences in the field. Her work on abstraction, abstraction-refinement, and modularity is highly cited.

Orna serves on the Steering Committee of the main conference on model checking, called Computer-Aided Verification (CAV). She also served on the first committee for the CAV Award, a prestigious award given for significant contributions in the area, and headed it in 2010. She is on the Board of Directors for the Marktoberdorf NATO Summer School (blue series). She served on numerous program committees of leading conferences such as CAV, TACAS, FMCAD, LICS, and others. She chaired CAV in 1997 and TACAS in 2007. She is on the editorial board of the journals “Formal Methods in System Design” and “Information and Computation”.

At the Technion, Orna served as the Associate Dean for Graduate Studies. In the Computer Science Department, she headed the curriculum program committee when the software engineering track was established. Students in this track get a strong background in formal verification. For instance, her introductory course on model checking is taken by about 100 students each year. Those students, together with her M.Sc. and Ph.D. students, form the basis for strong verification groups in the Israeli industry such as IBM and Intel.

Her M.Sc. and Ph.D. students hold high positions in academia and industry, including at Hebrew and Tel-Aviv universities and IBM.

Orna has a strong collaboration with the Israeli industry. Two of her ongoing funded projects these days are done in collaboration with industry: UML Verification, with IBM, and Finding Security Vulnerabilities in Network Protocols, with Rafael.